2795 search results - page 213 / 559 » Recommended or Not |
135
click to vote
WSC
1996
15 years 5 months ago
1996
In this paper we discuss verification and validation of simulation models. The different approaches to deciding model validity are described, two different paradigms that relate v...
106
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
This paper presents a new dynamic power management architecture of a System on Chip. The Power State Machine describing the status of the core follows the recommendations of the A...
124
click to vote
JSAT
2006
15 years 3 months ago
2006
This paper analyzes the SAT05 solver competition on industrial instances. We carefully investigate the performance of solvers from the competition and demonstration categories. We...
103
click to vote
FIRSTMONDAY
2007
15 years 3 months ago
2007
This paper uses literature on hypertext theory to evaluate our reading strategies in an online environment. Assessing the impact of digital technology on our educational environme...
140
click to vote
IJISEC
2007
15 years 3 months ago
2007
The vision of ubiquitous computing is becoming a reality thanks to the advent of portable devices and the advances in wireless networking technologies. It aims to facilitate user ...