309 search results - page 31 / 62 » A quantitative approach to functional debugging |
DAC
1994
ACM
14 years 1 months ago
1994
ACM
This paper describes a diagnosis technique for locating design errors in circuit implementations which do not match their functional specification. The method efficiently propagat...
AOSD
2007
ACM
14 years 1 months ago
2007
ACM
Developing and debugging parallel programs particularly for distributed memory architectures is still a difficult task. The most popular approach to developing parallel programs f...
ASPDAC
2008
ACM
13 years 11 months ago
2008
ACM
- Simulation-based functional verification is characterized by two inherently conflicting targets: the signal visibility and simulation performance. Achieving a proper trade-off be...
IJCAI
2007
13 years 11 months ago
2007
We explore an application to the game of Go of a reinforcement learning approach based on a linear evaluation function and large numbers of binary features. This strategy has prov...
VIP
2000
13 years 11 months ago
2000
Quantitative PET studies usually require invasive blood sampling from a peripheral artery to obtain an input function for accurate modelling. However, blood sampling is impractica...