10038 search results - page 568 / 2008 » Model Checking for Managers |
220
click to vote
DSN
2009
IEEE
15 years 11 months ago
2009
IEEE
The most commonly used request processing model in multithreaded web servers is thread-per-request, in which an individual thread is bound to serve each web request. However, with...
217
click to vote
CASES
2005
ACM
15 years 9 months ago
2005
ACM
Dynamic frequency scaling and dynamic voltage scaling have been developed to save power and/or energy for general purpose computing platforms and high-end embedded systems. This p...
225
click to vote
IOPADS
1997
15 years 8 months ago
1997
We provide a competitive analysis framework for online prefetching and buffer management algorithms in parallel I/O systems, using a read-once model of block references. This has ...
170
click to vote
IAT
2008
IEEE
16 years 1 months ago
2008
IEEE
Our work is focused on alleviating the workload for designers of adaptive courses on the complexity task of authoring adaptive learning designs adjusted to specific user character...
207
click to vote
ECTEL
2007
Springer
16 years 1 months ago
2007
Springer
Learners and knowledge workers are increasingly facing environments where frequent interruptions, multi-tasking, information overload, and insufficient community awareness are the ...