2451 search results - page 33 / 491 » The Octagon Abstract Domain |
176
click to vote
TOPLAS
2008
15 years 5 months ago
2008
act Interpretation C. BERNARDESCHI, N. DE FRANCESCO, G. LETTIERI, L. MARTINI, and P. MASCI Universit`a di Pisa Bytecode verification is a key point in the security chain of the Jav...
156
click to vote
MEDINFO
2007
15 years 7 months ago
2007
Abstraction and Data Mining with Visualization of Laboratory Data Katsuhiko Takabayashi a , Tu Bao Ho b , Hideto Yokoi c , Trong Dung Nguyen b , Saori Kawasaki b , Si Quang Le b , ...
153
click to vote
IANDC
2008
15 years 5 months ago
2008
act Interpretation Francesco Ranzato and Francesco Tapparo Dipartimento di Matematica Pura ed Applicata, Universit`a di Padova, Italy The Paige and Tarjan algorithm (PT) for comp...
280
click to vote
GIS
2004
ACM
16 years 6 months ago
2004
ACM
act Model of Three-Dimensional Spatial Data Types Markus Schneider & Brian E Weinrich University of Florida Department of Computer & Information Science & Engineering G...
147
Voted
CCA
2005
Springer
15 years 11 months ago
2005
Springer
kind Reals in Abstract Stone Duality Andrej Bauer and Paul Taylor 3 June 2009 Stone Duality (ASD) is a direct axiomatisation of general topology, in contrast to the traditional an...