5707 search results - page 781 / 1142 » Symbolic Simulation - Techniques and Applications |
228
click to vote
ASPLOS
2000
ACM
15 years 11 months ago
2000
ACM
This paper presents the first analysis of operating system execution on a simultaneous multithreaded (SMT) processor. While SMT has been studied extensively over the past 6 years,...
206
click to vote
FCCM
1997
IEEE
15 years 11 months ago
1997
IEEE
We propose an FPGA chip architecture based on a conventional FPGA logic array core, in which I/O pins are clocked at a much higher rate than that of the logic array that they serv...
217
click to vote
PCRCW
1997
Springer
15 years 11 months ago
1997
Springer
In recent years, theChaos Project at theUniversityofWashingtonhas analyzed and simulated a dozen routing algorithms. Three new routing algorithms have been invented; of these, the...
209
click to vote
CODES
2008
IEEE
15 years 8 months ago
2008
IEEE
In view of a booming market for microelectronic implants, our ongoing research work is focusing on the specification and design of a novel biomedical microprocessor core targeting...
183
click to vote
ICGA
1997
15 years 8 months ago
1997
Molecular docking software makes computational predictions of the interaction of molecules. This can be useful, for example, in evaluating the binding of candidate drug molecules ...