2106 search results - page 17 / 422 » Specifying C concepts |
FCCM
1998
IEEE
13 years 11 months ago
1998
IEEE
E cient, deeply pipelined implementations exist for a wide variety of important computation-intensive applications, and many special-purpose hardware machines have been built that...
KBSE
2010
IEEE
13 years 6 months ago
2010
IEEE
Although testing is central to debugging and software certiļ¬cation, there is no adequate language to specify test suites over source code. Such a language should be simple and c...
MODELS
2010
Springer
13 years 6 months ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...
AOSD
2009
ACM
14 years 2 months ago
2009
ACM
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...
ASPLOS
2010
ACM
14 years 2 months ago
2010
ACM
Computer systems with virtual memory are susceptible to design bugs and runtime faults in their address translation (AT) systems. Detecting bugs and faults requires a clear speciļ...