Sciweavers

17298 search results - page 127 / 3460
» Abstract computing machines
Sort
View
DSN
2003
IEEE
15 years 8 months ago
An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software
Stephan Thesing, Jean Souyris, Reinhold Heckmann, ...
85
Voted
CHI
1998
ACM
15 years 7 months ago
Evolving Video Skims into Useful Multimedia Abstractions
Michael G. Christel, Michael A. Smith, C. Roy Tayl...
122
Voted
SPAA
1998
ACM
15 years 7 months ago
Communication-Optimal Parallel Minimum Spanning Tree Algorithms (Extended Abstract)
Micah Adler, Wolfgang Dittrich, Ben H. H. Juurlink...
117
Voted
ECOOPW
1993
Springer
15 years 7 months ago
Abstracting Object Interactions Using Composition Filters
Mehmet Aksit, Ken Wakita, Jan Bosch, Lodewijk Berg...