3844 search results - page 195 / 769 » Modular interpreted systems |
144
click to vote
DDECS
2007
IEEE
16 years 25 days ago
2007
IEEE
Logic Soft Errors caused by radiation are a major concern when working with circuits that need to operate in harsh environments, such as space or avionics applications, where soft ...
173
click to vote
HICSS
2007
IEEE
16 years 25 days 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 15 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...
150
click to vote
APLAS
2004
ACM
15 years 12 months 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...
183
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...