Search Sciweavers | Sciweavers

16159 search results - page 357 / 3232

» Parallel computing with CUDA

137

click to vote

CONCUR
2004
Springer

109views Distributed And Parallel Com...» more CONCUR 2004»

Timed vs. Time-Triggered Automata

15 years 10 months ago

Download www.comp.nus.edu.sg

Pavel Krcál, Leonid Mokrushin, P. S. Thiaga...

claim paper

Read More »

137

click to vote

CW
2004
IEEE

93views Distributed And Parallel Com...» more CW 2004»

Real-Time Rendering of Bumpmap Shadows Taking Account of Surface Curvature

15 years 10 months ago

Download nis-lab.is.s.u-tokyo.ac.jp

Koichi Onoue, Nelson Max, Tomoyuki Nishita

claim paper

Read More »

137

click to vote

CONCUR
2006
Springer

112views Distributed And Parallel Com...» more CONCUR 2006»

Reachability in Recursive Markov Decision Processes

15 years 10 months ago

Download www.fi.muni.cz

Tomás Brázdil, Václav Brozek,...

claim paper

Read More »

135

click to vote

CONCUR
2006
Springer

81views Distributed And Parallel Com...» more CONCUR 2006»

Sortings for Reactive Systems

15 years 10 months ago

Download www.itu.dk

Lars Birkedal, Søren Debois, Thomas T. Hild...

claim paper

Read More »

142

click to vote

CONCUR
2006
Springer

89views Distributed And Parallel Com...» more CONCUR 2006»

Finding Shortest Witnesses to the Nonemptiness of Automata on Infinite Words

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers