452 search results - page 51 / 91 » Symbolic Execution of Behavioral Requirements |
93
Voted
DSN
2006
IEEE
15 years 6 months ago
2006
IEEE
One of the main reasons for the difficulty of hardware verification is that hardware platforms are typically nondeterministic at clock-cycle granularity. Uninitialized state ele...
113
Voted
TLDI
2003
ACM
15 years 6 months ago
2003
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic interactions between threads. Previous work has addresse...
111
click to vote
ICCAD
2000
IEEE
15 years 5 months ago
2000
IEEE
Most hardware description frameworks, whether schematic or textual, use cooperating finite state machines (CFSM) as the underlying abstraction. In the CFSM framework, a designer ...
114
Voted
IPCCC
2007
IEEE
15 years 7 months ago
2007
IEEE
Tuning the performance of applications requires understanding the interactions between code and target architecture. This paper describes a performance modeling approach that not ...
97
Voted
AIMSA
2004
Springer
15 years 6 months ago
2004
Springer
The ability to automatically compose web services, and to monitor their execution, is an essential step to substantially decrease time and costs in the development, integration, a...