586 search results - page 79 / 118 » Practical approach to experimentation in a simulation study |
EUROSYS
2006
ACM
14 years 5 months ago
2006
ACM
Computer problem diagnosis remains a serious challenge to users and support professionals. Traditional troubleshooting methods relying heavily on human intervention make the proce...
TACAS
2010
Springer
14 years 3 months ago
2010
Springer
Boolean satisfiability (SAT) and its extensions are becoming a core technology for the analysis of systems. The SAT-based approach divides into three steps: encoding, preprocessin...
SI3D
2006
ACM
14 years 2 months ago
2006
ACM
This paper studies jump flooding as an algorithmic paradigm in the general purpose computation with GPU. As an example application of jump flooding, the paper discusses a constant...
RTSS
2005
IEEE
14 years 1 months ago
2005
IEEE
Energy reduction is critical to increase the mobility and to extend the mission period in the development of today’s pervasive computing systems. On the other hand, however, ene...
ASSETS
2004
ACM
14 years 1 months ago
2004
ACM
Point estimation is a relatively unexplored facet of sonification. We present a new computer application, the Audio Abacus, designed to transform numbers into tones following the ...