8719 search results - page 1411 / 1744 » A Categorical Approach to Simulations |
185
Voted
ISSRE
2003
IEEE
16 years 2 days ago
2003
IEEE
Many architecture–based software reliability models were proposed in the past. Regardless of the accuracy of these models, if a considerable uncertainty exists in the estimates ...
151
click to vote
ITC
2003
IEEE
16 years 2 days ago
2003
IEEE
Failure analysis (FA) and diagnosis of memory cores plays a key role in system-on-chip (SOC) product development and yield ramp-up. Conventional FA based on bitmaps and the experi...
169
click to vote
IV
2003
IEEE
16 years 1 days ago
2003
IEEE
In the paper, we suggest a set of visualization-based exploratory tools to support analysis and comparison of different spatial development scenarios, such as results of simulatio...
193
click to vote
MEMOCODE
2003
IEEE
16 years 1 days ago
2003
IEEE
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...
199
click to vote
MICRO
2003
IEEE
16 years 1 days ago
2003
IEEE
With power dissipation becoming an increasingly vexing problem across many classes of computer systems, measuring power dissipation of real, running systems has become crucial for...