2661 search results - page 359 / 533 » Model Checking Performability Properties |
DCC
2008
IEEE
14 years 10 months ago
2008
IEEE
The name `graph state' is used to describe a certain class of pure quantum state which models a physical structure on which one can perform measurement-based quantum computin...
FAST
2010
14 years 22 days ago
2010
The cloud is poised to become the next computing environment for both data storage and computation due to its pay-as-you-go and provision-as-you-go models. Cloud storage is alread...
EUC
2007
Springer
14 years 4 months ago
2007
Springer
We demonstrate an improved consensus-driven utility accrual scheduling algorithm (DUA-CLA) for distributable threads which execute under run-time uncertainties in execution time, ...
ICIP
1999
IEEE
14 years 2 months ago
1999
IEEE
This paper presents novel algorithms that perform motion estimation for video processing and compression. We observe that "smoothness" is a very important and intuitive ...
EUROMICRO
2000
IEEE
14 years 2 months ago
2000
IEEE
When designing computer systems, simulation tools are used to imitate a real or proposed system. Complex, dynamic systems can be simulated without the cost and time constraints in...