Sciweavers

31387 search results - page 221 / 6278
» Abstracting abstract machines
Sort
View
131
Voted
TIME
2002
IEEE
15 years 11 months ago
Temporal Views as Abstract Relations
Allan Ramsay
127
Voted
WCRE
2002
IEEE
15 years 11 months ago
Semantic Grep: Regular Expressions + Relational Abstraction
R. Ian Bull, Andrew Trevors, Andrew J. Malton, Mic...
SYSTOR
2010
ACM
15 years 11 months ago
Plugging the hypervisor abstraction leaks caused by virtual networking
Alex Landau, David Hadas, Muli Ben-Yehuda
BIRTHDAY
2010
Springer
15 years 11 months ago
A Scalable Segmented Decision Tree Abstract Domain
Domain Patrick Cousot2,3 , Radhia Cousot1,3 , and Laurent Mauborgne3,4 1 Centre National de la Recherche Scientifique 2 Courant Institute of Mathematical Sciences, New York Univer...
Patrick Cousot, Radhia Cousot, Laurent Mauborgne