Sciweavers

17298 search results - page 182 / 3460
» Abstract computing machines
Sort
View
128
Voted
RAID
2010
Springer
15 years 2 months ago
HyperCheck: A Hardware-Assisted Integrity Monitor
Abstract. Over the past few years, virtualization has been employed to environments ranging from densely populated cloud computing clusters to home desktop computers. Security rese...
Jiang Wang, Angelos Stavrou, Anup K. Ghosh
86
Voted
CORR
2008
Springer
73views Education» more  CORR 2008»
15 years 3 months ago
Regularities of the distribution of abstract van der Corput sequences
TIES OF THE DISTRIBUTION OF ABSTRACT VAN DER CORPUT SEQUENCES WOLFGANG STEINER Abstract. Similarly to -adic van der Corput sequences, abstract van der Corput secan be defined by ab...
Wolfgang Steiner
129
Voted
AAAI
2010
15 years 5 months ago
Searching Without a Heuristic: Efficient Use of Abstraction
g Without a Heuristic: Efficient Use of Abstraction Bradford Larsen, Ethan Burns, Wheeler Ruml Department of Computer Science University of New Hampshire Durham, NH 03824 USA blars...
Bradford John Larsen, Ethan Burns, Wheeler Ruml, R...
143
Voted
COMGEO
2010
ACM
15 years 3 months ago
Exact join detection for convex polyhedra and other numerical abstractions
r Numerical Abstractions6 Roberto Bagnaraa , Patricia M. Hillb , Enea Zaffanellaa aDepartment of Mathematics, University of Parma, Italy bSchool of Computing, University of Leeds, ...
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
ICSE
2009
IEEE-ACM
16 years 4 months ago
Validation of contracts using enabledness preserving finite state abstractions
ess Preserving Finite State Abstractions Guido de Caso V?ctor Braberman Diego Garbervetsky Sebasti?n Uchitel Departamento de Computaci?n, FCEyN, UBA. Buenos Aires, Argentina Depa...
Diego Garbervetsky, Guido de Caso, Sebastiá...