1886 search results - page 26 / 378 » Verifying and Validating Simulation Models |
HPCA
2006
IEEE
15 years 10 months ago
2006
IEEE
An important means of validating the design of commercial-grade shared memory multiprocessors is to run a large number of pseudo-random test programs on them. However, when intent...
293
click to vote
ICSE
2012
IEEE-ACM
13 years 1 days ago
2012
IEEE-ACM
—We propose an extension of van Lamsweerde’s goal-oriented requirements engineering to the domain of programmable DNA nanotechnology. This is a domain in which individual devic...
73
Voted
WSC
2001
14 years 11 months ago
2001
Although they focus on the big picture, high level supply chain models cannot gloss over the capacity of production nodes to meet production allocations. Capacity is not simply a ...
SPIN
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
70
Voted
DATE
2007
IEEE
15 years 4 months ago
2007
IEEE
Multiple asynchronous clock domains have been increasingly employed in System-on-Chip (SoC) designs for different I/O interfaces. Functional validation is one of the most expensiv...