632 search results - page 48 / 127 » The Basics of Performance-Monitoring Hardware |
123
click to vote
ASPDAC
2000
ACM
15 years 10 months ago
2000
ACM
A new approach is proposed to translate existing software programs from one instruction set to other instruction sets at the level. The behaviors of instructions are abstractly re...
153
click to vote
CAV
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Bounded Model Checking based on SAT methods has recently been introduced as a complementary technique to BDD-based Symbolic Model Checking. The basic idea is to search fo...
171
click to vote
ASPDAC
1999
ACM
15 years 10 months ago
1999
ACM
: This paper presents a genetic algorithm based approach for algebraic optimization of behavioral system specifications. We introduce a chromosomal representation of data-flow gr...
151
click to vote
DATE
1999
IEEE
15 years 10 months ago
1999
IEEE
This work presents a new diagnosis method for use in an adaptive analog tester. The tester is able to detect faults in any linear circuit by learning a reference behavior in a fir...
138
click to vote
ISPD
1999
ACM
15 years 10 months ago
1999
ACM
—This paper studies a natural formulation of the timing-driven maze routing problem. A multigraph model appropriate for global routing applications is adopted; the model naturall...