31387 search results - page 60 / 6278 » Abstracting abstract machines |
152
click to vote
ATVA
2008
Springer
15 years 7 months ago
2008
Springer
marization using Abstract Transformers Daniel Kr
177
click to vote
ESOP
2008
Springer
15 years 7 months ago
2008
Springer
Abstractions Aziem Chawdhary1 , Byron Cook2 , Sumit Gulwani2 , Mooly Sagiv3 , and Hongseok Yang1 1 Queen Mary, University of London 2 Microsoft Research 3 Tel Aviv University Abstr...
117
click to vote
OPODIS
2008
15 years 7 months ago
2008
sters : an abstraction for spatial-based distributed computing Matthieu Roy1 , Fran
ANLP
1992
15 years 6 months ago
1992
CAL ABSTRACTS Hans Paulussen Facult6s Universitaires Notre-Dame de la Paix, rue de Bruxelles 61, B-5000 Namur, Belgium
117
Voted
EGOV
2010
Springer
15 years 6 months ago
2010
Springer
Application for Water Abstractions Authorizations Miguel