Sciweavers

810 search results - page 38 / 162
» Modeling User Runtime Estimates
Sort
View
KBSE
2005
IEEE
15 years 7 months ago
A context-sensitive structural heuristic for guided search model checking
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
Neha Rungta, Eric G. Mercer
PATMOS
2007
Springer
15 years 7 months ago
XEEMU: An Improved XScale Power Simulator
Energy efficiency is a top requirement in embedded system design. Understanding the complex issue of software power consumption in early design phases is of extreme importance to m...
Zoltán Herczeg, Ákos Kiss, Daniel Sc...
AH
2004
Springer
15 years 5 months ago
A Learner Model in a Distributed Environment
A learner model must store all the relevant information about a student, including knowledge and attitude. This paper proposes a domain independent learner model based in the class...
Cristina Carmona, Ricardo Conejo
WSC
1998
15 years 3 months ago
Efficient Process Interaction with Threads in Parallel Discrete Event Simulation
Parallel discrete event simulation (PDES) decreases a simulation's runtime by splitting the simulation's work between multiple processors. Many users avoid PDES because ...
Reuben Passqini, Vernon Rego
ICCV
2007
IEEE
15 years 8 months ago
Pose and Gaze Estimation in Multi-camera Networks for Non-restrictive HCI
Multi-camera networks offer potentials for a variety of novel human-centric applications through provisioning of rich visual information. In this paper, face orientation analysis ...
Chung-Ching Chang, Chen Wu, Hamid K. Aghajan