8828 search results - page 245 / 1766 » Formal methods in practice |
148
click to vote
EDM
2008
15 years 7 months ago
2008
We compare the purposes, inputs, representations, and assumptions of three methods to evaluate the fine-grained interactions of intelligent tutors with their students. One method i...
155
click to vote
ICML
2005
IEEE
16 years 7 months ago
2005
IEEE
This paper presents a search algorithm for finding functions that are highly correlated with an arbitrary set of data. The functions found by the search can be used to approximate...
142
click to vote
FGCN
2008
IEEE
16 years 22 days ago
2008
IEEE
Dynamic frequency scaling (DFS) techniques for real-time embedded systems have been widely studied. However, most of the scheduling algorithms so far concern only special purpose ...
172
click to vote
RTAS
2005
IEEE
15 years 12 months ago
2005
IEEE
We present an on-line Dynamic Voltage Scaling (DVS) algorithm for preemptive fixed-priority real-time systems called low power Limited Demand Analysis with Transition overhead (l...
160
click to vote
WSC
2007
15 years 8 months ago
2007
Developments in simulation methodology have been so successful that simulation methods are used in many different domains, and many of these applications are based on discrete eve...