9110 search results - page 1420 / 1822 » Formally-Based Design Evaluation |
152
click to vote
ICCAD
1995
IEEE
15 years 10 months ago
1995
IEEE
This paper addresses the problem of speeding up functional (delayindependent)logic simulation for synchronousdigital systems. The problem needs very little new motivation – cycl...
220
click to vote
ICDCS
1995
IEEE
15 years 10 months ago
1995
IEEE
Tasks in a real-time application usually have several stringent timing, resource, and communication requirements. Designing a distributed computing system which can meet all these...
153
click to vote
ISCAS
1995
IEEE
15 years 10 months ago
1995
IEEE
Abstract -- Work in progress at the University of Missouri-Rolla on hardware assists for high performance computing is presented. This research consists of a novel field programmab...
163
click to vote
SC
1995
ACM
15 years 10 months ago
1995
ACM
As part of a NASA HPCC Grand Challenge project, we are designing and implementing a parallel atmospheric chemical tracer model that will be suitable for use in global simulations....
161
click to vote
ASPLOS
1991
ACM
15 years 10 months ago
1991
ACM
Multiprocessor memory reference traces provide a wealth of information on the behavior of parallel programs. We have used this information to explore the relationship between kern...