Search Sciweavers | Sciweavers

17298 search results - page 127 / 3460

» Abstract computing machines

102

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 8 months ago

Download rw4.cs.uni-sb.de

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

claim paper

Read More »

Voted

CHI
1998
ACM

99views Human Computer Interaction» more CHI 1998»

Evolving Video Skims into Useful Multimedia Abstractions

15 years 7 months ago

Download www.informedia.cs.cmu.edu

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

claim paper

Read More »

122

Voted

SPAA
1998
ACM

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

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

15 years 7 months ago

Download www.im.pwr.wroc.pl

Micah Adler, Wolfgang Dittrich, Ben H. H. Juurlink...

claim paper

Read More »

117

Voted

ECOOPW
1993
Springer

119views Distributed And Parallel Com...» more ECOOPW 1993»

Abstracting Object Interactions Using Composition Filters

15 years 7 months ago

Download www.cse.msu.edu

Mehmet Aksit, Ken Wakita, Jan Bosch, Lodewijk Berg...

claim paper

Read More »

click to vote

DAC
2010
ACM

152views Computer Architecture» more DAC 2010»

BooM: a decision procedure for boolean matching with abstraction and dynamic learning

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers