Search Sciweavers | Sciweavers

17298 search results - page 127 / 3460

» Abstract computing machines

130

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 »

116

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 »

155

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

Download www.im.pwr.wroc.pl

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

claim paper

Read More »

145

click to vote

ECOOPW
1993
Springer

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

Abstracting Object Interactions Using Composition Filters

15 years 10 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 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers