3134 search results - page 174 / 627 » Computing full disjunctions |
137
Voted
GI
2009
Springer
15 years 8 months ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...
139
click to vote
SIGGRAPH
2010
ACM
15 years 8 months ago
2010
ACM
We present a way to bring cartoon objects and characters into the third dimension, by giving them the ability to rotate and be viewed from any angle. We show how 2D vector art dra...
112
click to vote
ICCS
2001
Springer
15 years 8 months ago
2001
Springer
This paper presents the integration of application specific interfaces in the UNICORE Grid infrastructure. UNICORE provides a seamless and secure mechanism to access distributed s...
125
click to vote
ICN
2001
Springer
15 years 8 months ago
2001
Springer
The available channel bandwidth may vary due to many factors including network traffic congestion. Therefore, a video server should be able to decide how to reduce the transmission...
109
click to vote
ICPP
2000
IEEE
15 years 8 months ago
2000
IEEE
Recently, the practice of speculation in resolving data dependences has been studied as a means of extracting more instruction level parallelism (ILP). An outcome of an instructio...