34 search results - page 3 / 7 » A System for Automatic Marking of Floors in Very Large Space... |
TACAS
2000
Springer
13 years 10 months ago
2000
Springer
Salsa is an invariant checker for speci cations in SAL the SCR Abstract Language. To establish a formula as an invariant without any user guidance Salsa carries out an induction pr...
HICSS
2006
IEEE
14 years 19 days ago
2006
IEEE
One viewpoint of a knowledge network is a knowledge map that clusters similar knowledge sources into knowledge domains. What is needed is an automatic mapping tool that 1) takes t...
ACSAC
2007
IEEE
14 years 28 days ago
2007
IEEE
Server virtualization more readily enables the collocation of disparate workloads on a shared physical platform. When employed on systems across a data center, the result can be a...
ICAC
2005
IEEE
14 years 6 days ago
2005
IEEE
We present an architecture for and prototype of a system for quickly detecting software problem recurrences. Re-discovery of the same problem is very common in many large software...
ISCA
2010
IEEE
13 years 11 months ago
2010
IEEE
Power consumption has become a major constraint in the design of processors today. To optimize a processor for energyefficiency requires an examination of energy-performance trade...