3515 search results - page 65 / 703 » Resource usage analysis |
113
click to vote
PPDP
2009
Springer
15 years 8 months 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...
222
Voted
AICT
2009
IEEE
15 years 9 months 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...
ECTEL
2007
Springer
15 years 8 months 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 ...
122
click to vote
VRST
2000
ACM
15 years 6 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...
83
Voted
WSC
2001
15 years 3 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...