4693 search results - page 494 / 939 » Verifying Hybrid Systems |
224
click to vote
ICFP
2004
ACM
16 years 7 months ago
2004
ACM
Concurrency, as a useful feature of many modern programming languages and systems, is generally hard to reason about. Although existing work has explored the verification of concu...
171
click to vote
ICDCSW
2006
IEEE
16 years 1 months ago
2006
IEEE
The Fluids and Combustion Facility (FCF) will be a permanent modular, multi-user facility used to accommodate microgravity science experiments in the U.S. Laboratory Module onboar...
191
click to vote
ISQED
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— With the increasing in silicon densities, SoC designs are the stream in modern electronics systems. Accordingly, the verification for SoC designs is crucial. One of th...
185
click to vote
RTAS
2006
IEEE
16 years 1 months ago
2006
IEEE
Distributed hard real-time systems require guaranteed communication. One common approach is to restrict network access by enforcing a time-division multiple access (TDMA) schedule...
217
click to vote
CSFW
2005
IEEE
16 years 20 days ago
2005
IEEE
Availability is a critical issue in modern distributed systems. While many techniques and protocols for preventing denial of service (DoS) attacks have been proposed and deployed ...