3515 search results - page 65 / 703 » Resource usage analysis |
150
click to vote
PPDP
2009
Springer
16 years 16 days ago
2009
Springer
We propose a novel type-based model checking algorithm for higher-order recursion schemes. As shown by Kobayashi, verification problems of higher-order functional programs can ea...
273
click to vote
AICT
2009
IEEE
16 years 25 days ago
2009
IEEE
Abstract: A method of admission control based on both resource requests by applications and class-based traffic measurement results was developed. In this method, a wide range of a...
120
click to vote
ECTEL
2007
Springer
16 years 5 days ago
2007
Springer
Much of the text of pen resources such as Wikipedia is written at a college level of readability, thus posing an access barrier to the general public. Reading levels are important ...
159
click to vote
VRST
2000
ACM
15 years 10 months ago
2000
ACM
The use of Shared Virtual Environments is growing in areas such as multi-player video games, military and industrial training, and collaborative design and engineering. At the sam...
123
click to vote
WSC
2001
15 years 7 months ago
2001
Simulations often execute too slowly to be effective tools for decision-making. In particular, this problem has been found in semiconductor manufacturing where conventional job-dr...