2661 search results - page 359 / 533 » Model Checking Performability Properties |
92
Voted
DCC
2008
IEEE
16 years 8 days 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...
105
Voted
FAST
2010
15 years 3 months 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...
101
Voted
EUC
2007
Springer
15 years 6 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, ...
108
click to vote
ICIP
1999
IEEE
15 years 5 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 ...
112
click to vote
EUROMICRO
2000
IEEE
15 years 5 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...