Sciweavers

2663 search results - page 113 / 533
» How to Choose a Timing Model
Sort
View
IDEAS
2009
IEEE
129views Database» more  IDEAS 2009»
15 years 3 months ago
Speeding-up data-driven applications with program summaries
We consider the class of database programs and address the problem of minimizing the cost of their exchanges with the database server. This cost partly consists of query execution...
Sonia Guehis, Virginie Goasdoué-Thion, Phil...
ICALP
2004
Springer
15 years 11 months ago
Online Scheduling of Equal-Length Jobs: Randomization and Restarts Help
We consider the following scheduling problem. The input is a set of jobs with equal processing times, where each job is specified by its release time and deadline. The goal is to ...
Marek Chrobak, Wojciech Jawor, Jiri Sgall, Tom&aac...
CORR
2012
Springer
183views Education» more  CORR 2012»
14 years 1 months ago
Learning Determinantal Point Processes
Determinantal point processes (DPPs), which arise in random matrix theory and quantum physics, are natural models for subset selection problems where diversity is preferred. Among...
Alex Kulesza, Ben Taskar
UM
2007
Springer
16 years 4 days ago
Modeling the Acquisition of Fluent Skill in Educational Action Games
There has been increasing interest in using games for education, but little investigation of how to model student learning within games [cf. 6]. We investigate how existing techniq...
Ryan Shaun Joazeiro de Baker, M. P. Jacob Habgood,...
APSEC
2005
IEEE
15 years 11 months ago
Model Checking Interrupt-Dependent Software
Embedded control programs are hard to analyse because their behaviour depends on how they interact with hardware devices. In particular, embedded code typically uses interrupts to...
Colin J. Fidge, Phil Cook