Search Sciweavers | Sciweavers

15792 search results - page 103 / 3159

» Computational Abstraction Steps

113

click to vote

HPDC
2009
IEEE

73views Distributed And Parallel Com...» more HPDC 2009»

Harnessing parallelism in multicore clusters with the all-pairs and wavefront abstractions

16 years 16 days ago

Download www.cse.nd.edu

Li Yi, Christopher Moretti, Scott J. Emrich, Kenne...

claim paper

Read More »

127

click to vote

DSN
2003
IEEE

137views Computer Networks» more DSN 2003»

An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software

15 years 11 months ago

Download rw4.cs.uni-sb.de

Stephan Thesing, Jean Souyris, Reinhold Heckmann, ...

claim paper

Read More »

109

click to vote

CHI
1998
ACM

99views Human Computer Interaction» more CHI 1998»

Evolving Video Skims into Useful Multimedia Abstractions

15 years 10 months ago

Download www.informedia.cs.cmu.edu

Michael G. Christel, Michael A. Smith, C. Roy Tayl...

claim paper

Read More »

120

click to vote

ASM
1998
ASM

84views Computational Biology» more ASM 1998»

Interacting Abstract State Machines

15 years 10 months ago

Download www.eecs.umich.edu

Marcelo de Almeida Maia, Vladimir Oliveira Di Iori...

claim paper

Read More »

150

click to vote

SPAA
1998
ACM

98views Distributed And Parallel Com...» more SPAA 1998»

Communication-Optimal Parallel Minimum Spanning Tree Algorithms (Extended Abstract)

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers