1068 search results - page 30 / 214 » For completeness, sublogarithmic space is no space |
CAV
1992
Springer
14 years 22 days ago
1992
Springer
State-space caching is a veri cation technique for nite-state concurrent systems. It performs an exhaustive exploration of the state space of the system being checked while storin...
AUTOMOTIVEUI
2009
ACM
14 years 3 months ago
2009
ACM
Over the last 100 years it has become much easier to operate a car. However in recent years the number of functions a user can control while driving has greatly increased. Infotai...
INFOVIS
1995
IEEE
14 years 5 days ago
1995
IEEE
Visualizations which depict entire information spaces provide context for navigation and browsing tasks; however, the limited size of the display screen makes creating effective g...
ECCV
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. With the rapid development of fast data acquisition techniques, 3D scans that record the geometric and photometric information of deformable objects are routinely acquire...
ACSAC
2006
IEEE
14 years 2 months ago
2006
IEEE
Address space randomization is an emerging and promising method for stopping a broad range of memory corruption attacks. By randomly shifting critical memory regions at process in...