4586 search results - page 379 / 918 » Computing stable models in parallel |
240
Voted
ARTS
1999
Springer
15 years 9 months ago
1999
Springer
Model checking can tell us whether a system is correct; probabilistic model checking can also tell us whether a system is timely and reliable. Moreover, probabilistic model checkin...
141
click to vote
VECPAR
2004
Springer
15 years 10 months ago
2004
Springer
In this work we investigate how the compiler technique of message strip mining performs in practice on contemporary high performance networks. Message strip mining attempts to redu...
134
click to vote
ICVGIP
2008
15 years 6 months ago
2008
The GPUs pack high computation power and a restricted architecture into easily available hardware today. They are now used as computation co-processors and come with programming m...
160
click to vote
IPPS
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Power density and heat density of multicore processor system are increasing exponentially with Moore's Law. High temperature on chip greatly affects its reliability,...
133
click to vote
CW
2004
IEEE
15 years 8 months ago
2004
IEEE
Although graphical human modeling has been a long sought subject in computer graphics, when it comes to dealing with real-time applications, it raises a number of unique requireme...