2255 search results - page 177 / 451 » High Assurance Software Systems |
161
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
In the design of highly complex, heterogeneous, and concurrent systems, deadlock detection and resolution remains an important issue. In this paper, we systematically analyze the ...
171
click to vote
LCTRTS
2009
Springer
16 years 1 months ago
2009
Springer
Multicores are becoming ubiquitous, not only in general-purpose but also embedded computing. This trend is a reflexion of contemporary embedded applications posing steadily incre...
165
click to vote
PPPJ
2006
ACM
16 years 11 days ago
2006
ACM
In this paper we present a JXTA-based platform, called Juxta-CAT, which is an effort to use the JXTA architecture to build a job execution-sharing distributed environment. The Ju...
186
click to vote
VMCAI
2004
Springer
15 years 11 months ago
2004
Springer
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...
202
click to vote
TASE
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--With the availability of powerful computational and communication systems, scientists now readily access large, complicated derived datasets and build on those results to...