12783 search results - page 2456 / 2557 » Experimenting with computing |
HICSS
2005
IEEE
14 years 4 months ago
2005
IEEE
A framework that delineates the relationships between learner control and learning effectiveness is absent. This study aims to fill this void. Unlike previous research, this study...
IEEEPACT
2005
IEEE
14 years 4 months ago
2005
IEEE
Feedback-directed Optimization has become an increasingly important tool in designing and building optimizing compilers as itprovides a means to analyze complexprogram behavior th...
INFOCOM
2005
IEEE
14 years 4 months ago
2005
IEEE
— Current computing systems depend on adaptation mechanisms to ensure that they remain in quiescent operating regions. These regions are often defined using efficiency, fairnes...
ISCAS
2005
IEEE
14 years 4 months ago
2005
IEEE
— Open source software are becoming more widely-used, notably in the server and desktop applications. For embedded systems development, usage of open source software can also red...
KBSE
2005
IEEE
14 years 4 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...