3742 search results - page 328 / 749 » On the Use of Formal Techniques for Validation |
166
click to vote
ISCA
2000
IEEE
15 years 11 months ago
2000
IEEE
As microprocessors continue to evolve, many optimizations reach a point of diminishing returns. We introduce HLS, a hybrid processor simulator which uses statistical models and sy...
172
click to vote
ITC
1997
IEEE
15 years 11 months ago
1997
IEEE
- An all-digital technique for the measurement of the jitter transfer function of charge-pump phase-locked loops is introduced. Input jitter may be generated using one of two metho...
230
click to vote
VISUALIZATION
1994
IEEE
15 years 10 months ago
1994
IEEE
We describe a technique for achieving fast volume ray casting on parallel machines, using a load balancing scheme and an e cient pipelined approach to compositing. We propose a ne...
170
click to vote
WOA
2007
15 years 7 months ago
2007
Abstract—In this work, we present a constrained-based representation for specifying the goals of “course design”, that we call curricula model, and introduce a graphical lang...
196
Voted
KES
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. In data mining, hybrid intelligent systems present a synergistic combination of multiple approaches to develop the next generation of intelligent systems. Our paper prese...