6248 search results - page 1198 / 1250 » Programming in a data factory |
MTV
2007
IEEE
14 years 3 months ago
2007
IEEE
The widening gap between CPU complexity and verification capability is becoming increasingly more salient. It is impossible to completely verify the functionality of a modern mic...
TPHOL
2007
IEEE
14 years 3 months ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
CCS
2007
ACM
14 years 3 months ago
2007
ACM
Protocol reverse engineering, the process of extracting the application-level protocol used by an implementation, without access to the protocol specification, is important for m...
CCS
2007
ACM
14 years 3 months ago
2007
ACM
Security researchers are applying software reliability models to vulnerability data, in an attempt to model the vulnerability discovery process. I show that most current work on t...
EMSOFT
2007
Springer
14 years 3 months ago
2007
Springer
Most recent embedded systems use caches to improve their average performance. Current timing analyses are able to compute safe timing guarantees for these systems, if tasks are ru...