1611 search results - page 253 / 323 » A Library for Self-Adjusting Computation |
141
Voted
EUROPAR
2003
Springer
15 years 9 months ago
2003
Springer
Hardware performance monitoring is the basis of modern performance analysis tools for application optimization. We are interested in providing such performance analysis tools for t...
125
click to vote
CODES
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper describes the formal verification of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques. The methodology presented a...
170
click to vote
ISQED
2002
IEEE
15 years 9 months ago
2002
IEEE
The paper addresses the issue of microprocessor and microcontroller testing, and follows an approach based on the generation of a test program. The proposed method relies on two p...
148
click to vote
MIG
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. There are very few software frameworks for steering behaviors that are publicly available for developing, evaluating, and sharing steering algorithms. Furthermore, there ...
169
click to vote
IUI
2000
ACM
15 years 9 months ago
2000
ACM
The ability to deliver appropriate information to learners at the most appropriate time is an essential component of good instruction. In the best learning environments, this info...