1179 search results - page 50 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
152
Voted
DAC
1997
ACM
15 years 7 months ago
1997
ACM
Abstract. Many modern systems are designed as a set of interconnected reactive subsystems. The subsystem verification task is to verify an implementation of the subsystem against t...
161
Voted
DKE
2008
15 years 3 months ago
2008
Adaptivity in process management systems is key to their successful applicability in practice. Approaches have been already developed to ensure system correctness after arbitrary ...
137
Voted
OTM
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Systems supporting situation awareness typically integrate information about a large number of real-world objects anchored in time and space provided by multiple sources....
165
Voted
DAC
2010
ACM
15 years 7 months ago
2010
ACM
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. I...
158
Voted
CASES
2010
ACM
15 years 1 months ago
2010
ACM
Although cryptographic algorithms are designed to resist at least thousands of years of cryptoanalysis, implementing them with either software or hardware usually leaks additional...