3909 search results - page 320 / 782 » Extreme Model Checking |
146
click to vote
ICECCS
2007
IEEE
15 years 10 months ago
2007
IEEE
Identifying and resolving design problems in the early design phase can help ensure software quality and save costs. There are currently few tools for analyzing designs expressed ...
116
click to vote
IPPS
2005
IEEE
15 years 9 months ago
2005
IEEE
— Schedule synthesis based on reachability analysis of timed automata has received attention in the last few years. The main strength of this approach is that the expressiveness ...
111
Voted
APSEC
2007
IEEE
15 years 7 months ago
2007
IEEE
One major advantage of executable models is that once constructed, they can be run, checked, validated and improved in short incremental and iterative cycles. In the field of Soft...
139
click to vote
CODES
2008
IEEE
15 years 4 months ago
2008
IEEE
With power becoming a major constraint for multi-processor embedded systems, it is becoming important for designers to characterize and model processor power dissipation. It is cr...
148
click to vote
WSC
1997
15 years 5 months ago
1997
We present a system for describing and solving closed queuing network models of the memory access performance of NUMA architectures. The system consists of a model description lan...