2255 search results - page 304 / 451 » High Assurance Software Systems |
135
click to vote
ADBIS
2007
Springer
16 years 20 days ago
2007
Springer
Replication is crucial to achieve high availability distributed systems. However, non-determinism introduces consistency problems between replicas. Transactions are very well suite...
175
click to vote
RSP
2006
IEEE
16 years 14 days ago
2006
IEEE
In a hardware-software co-design environment, an application is partitioned into modules. Each module is then mapped either to software or to hardware. The mapping process is driv...
193
click to vote
ISORC
2005
IEEE
16 years 1 days ago
2005
IEEE
One of the main challenges in getting acceptance for safe object-oriented languages in hard real-time systems is to combine automatic memory management with hard real-time constra...
135
click to vote
ARCS
2004
Springer
15 years 12 months ago
2004
Springer
: We investigated different parallel SIMD (single instruction multiple data) architectures based on pure programmable and reconfigurable approaches for their appropriateness for in...
168
click to vote
CSL
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Applications in software verification often require determining the satisfiability of first-order formulæ with respect to some background theories. During development...