Home
Catalogue search
Refine your search:
Keyword:
Languages (4)
exception handling (4)
Performance (3)
Categories and Subject Descriptors D.3.3 [Language Constructs and Features (2)
Concurrent ML (2)
Concurrent programming structures (2)
D.1.3 [Concurrent Programming (2)
D.3.1 [Formal Definitions and Theory (2)
Design (2)
Experimentation (2)
more
Creator / Publisher
Year:
2006 (1)
1996 (1)
1985 (1)
Medium
Type
BLLDB-Access:
free (4)
subject to license (0)
Search in the Catalogues and Directories
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
Sort by
creator [A → Z]
'
creator [Z → A]
'
publishing year ↑ (asc)
'
publishing year ↓ (desc)
'
title [A → Z]
'
title [Z → A]
'
Simple Search
Hits 1 – 4 of 4
1
Stabilizers: a modular checkpointing abstraction for concurrent functional programs
Lukasz Ziarek
;
Philip Schatz
;
Suresh Jagannathan
In: http://www.cs.purdue.edu/homes/lziarek/icfp06.pdf (2006)
BASE
Show details
2
Handling Floating-Point Exceptions in Numeric Programs
John R. Hauser
In: http://cch.loria.fr/documentation/IEEE754/ACM/hauser.pdf (1996)
BASE
Show details
3
A Modular Verifiable Exception-Handling Mechanism
Shaula Yemini
;
Daniel M. Berry
In: http://se.math.uwaterloo.ca/~dberry/FTP_SITE/reprints.journals.conferences/YeminiBerry1985Mechanism.pdf (1985)
BASE
Show details
4
Abstract Stabilizers: A Modular Checkpointing Abstraction for Concurrent Functional Programs
In: http://www.classes.cs.uchicago.edu/archive/2007/spring/32102-1/papers/p136-ziarek.pdf
BASE
Show details
Mobile view
All
Catalogues
UB Frankfurt Linguistik
0
IDS Mannheim
0
OLC Linguistik
0
UB Frankfurt Retrokatalog
0
DNB Subject Category Language
0
Institut für Empirische Sprachwissenschaft
0
Leibniz-Centre General Linguistics (ZAS)
0
Bibliographies
BLLDB
0
BDSL
0
IDS Bibliografie zur deutschen Grammatik
0
IDS Bibliografie zur Gesprächsforschung
0
IDS Konnektoren im Deutschen
0
IDS Präpositionen im Deutschen
0
IDS OBELEX meta
0
MPI-SHH Linguistics Collection
0
MPI for Psycholinguistics
0
Linked Open Data catalogues
Annohub
0
Online resources
Link directory
0
Journal directory
0
Database directory
0
Dictionary directory
0
Open access documents
BASE
4
Linguistik-Repository
0
IDS Publikationsserver
0
Online dissertations
0
Language Description Heritage
0
© 2013 - 2024 Lin|gu|is|tik
|
Imprint
|
Privacy Policy
|
Datenschutzeinstellungen ändern