Sciweavers

17298 search results - page 127 / 3460
» Abstract computing machines
Sort
View
96
Voted
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, ...
79
Voted
CHI
1998
ACM
15 years 6 months ago
Evolving Video Skims into Useful Multimedia Abstractions
Michael G. Christel, Michael A. Smith, C. Roy Tayl...
115
Voted
SPAA
1998
ACM
15 years 6 months ago
Communication-Optimal Parallel Minimum Spanning Tree Algorithms (Extended Abstract)
Micah Adler, Wolfgang Dittrich, Ben H. H. Juurlink...
113
Voted
ECOOPW
1993
Springer
15 years 6 months ago
Abstracting Object Interactions Using Composition Filters
Mehmet Aksit, Ken Wakita, Jan Bosch, Lodewijk Berg...
59
Voted
DAC
2010
ACM
15 years 6 months ago
BooM: a decision procedure for boolean matching with abstraction and dynamic learning
Chih-Fan Lai, Jie-Hong R. Jiang, Kuo-Hua Wang