4520 search results - page 78 / 904 » Algebraic Techniques for Timed Systems |
146
click to vote
EUROMICRO
1999
IEEE
15 years 6 months ago
1999
IEEE
Software synthesis for system level design languages becomes feasible because the current technology, pricing and application trends will most likely alleviate the industrial empha...
101
click to vote
RTCSA
1995
IEEE
15 years 5 months ago
1995
IEEE
: An essential building-block for construction of future real-time computer systems (RTCS’s) is a timeliness-guaranteed operating system. The first co-author recently formulated ...
135
click to vote
ACNS
2011
Springer
14 years 5 months ago
2011
Springer
A method for extracting cryptographic key material from DRAM used in modern computers has been recently proposed in [9]; the technique was called Cold Boot attacks. When considerin...
103
click to vote
ISPA
2004
Springer
15 years 7 months ago
2004
Springer
HPL is a parallel Linpack benchmark package widely adopted in massive cluster system performance test. On HPL data layout among processors, a law to determine block size NB theoret...
113
click to vote
FTCS
1998
15 years 3 months ago
1998
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...