3218 search results - page 455 / 644 » Timed Extensions for SDL |
168
click to vote
DATE
2000
IEEE
15 years 10 months ago
2000
IEEE
The Boolean satisfiability problem (SAT) has various applications in electronic design automation (EDA) fields such as testing, timing analysis and logic verification. SAT has bee...
154
click to vote
FCCM
2000
IEEE
15 years 10 months ago
2000
IEEE
Architectures that implement the Internet Protocol Security (IPSec) standard have to meet the enormous computing demands of cryptographic algorithms. In addition, IPSec architectu...
160
click to vote
ISCA
2000
IEEE
15 years 10 months ago
2000
IEEE
While architects understandhow to build cost-effective parallel machines across a wide spectrum of machine sizes (ranging from within a single chip to large-scale servers), the re...
135
click to vote
IWSSD
2000
IEEE
15 years 10 months ago
2000
IEEE
Most software that most people use most of the time needs only moderate assurance of fitness for its intended purpose. Unlike high-assurance software, where the severe consequence...
145
click to vote
PLDI
2000
ACM
15 years 10 months ago
2000
ACM
We show how to determine statically whether it is safe for untrusted machine code to be loaded into a trusted host system. Our safety-checking technique operates directly on the u...