4166 search results - page 287 / 834 » A modular module system |
178
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Checkpointing is a commonly used approach to provide fault-tolerance and improve system dependability. However, using a constant and preconfigured checkpointing frequency may comp...
163
click to vote
IPPS
2006
IEEE
16 years 21 days ago
2006
IEEE
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...
152
click to vote
APLAS
2004
ACM
16 years 3 days ago
2004
ACM
Parallel programming is becoming an important cornerstone of general computing. In addition, type systems have significant impact on program analysis. In this paper, we demonstrat...
192
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
We provide two approaches for explaining inconsistency in multi-context systems, where decentralized and heterogeneous system parts interact via nonmonotonic bridge rules. Inconsi...
142
click to vote
ICMCS
2000
IEEE
15 years 11 months ago
2000
IEEE
Choosing the appropriate type of video input is an important issue for any vision-based system and the right decision must take into account the specific requirements of the inten...