Sciweavers

653 search results - page 44 / 131
» Implications of a Data Structure Consistency Checking System
Sort
View
ERLANG
2008
ACM
15 years 1 months ago
Testing Erlang data types with quviq quickcheck
When creating software, data types are the basic bricks. Most of the time a programmer will use data types defined in library modules, therefore being tested by many users over ma...
Thomas Arts, Laura M. Castro, John Hughes
VLDB
2002
ACM
108views Database» more  VLDB 2002»
14 years 11 months ago
Energy-performance trade-offs for spatial access methods on memory-resident data
Abstract. The proliferation of mobile and pervasive computing devices has brought energy constraints into the limelight. Energy-conscious design is important at all levels of syste...
Ning An, Sudhanva Gurumurthi, Anand Sivasubramania...
CVPR
2006
IEEE
16 years 1 months ago
Structure from Motion with Known Camera Positions
The wide availability of GPS sensors is changing the landscape in the applications of structure from motion techniques for localization. In this paper, we study the problem of est...
Rodrigo L. Carceroni, Ankita Kumar, Kostas Daniili...
DEBU
2010
113views more  DEBU 2010»
14 years 9 months ago
Storage Class Memory Aware Data Management
Storage Class Memory (SCM) is here to stay. It has characteristics that place it in a class apart both from main memory and hard disk drives. Software and systems, architectures a...
Bishwaranjan Bhattacharjee, Mustafa Canim, Christi...
EUC
2008
Springer
15 years 1 months ago
A Lightweight Detection and Recovery Infrastructure of Kernel Objects for Embedded Systems
The kernel objects consist of critical kernel data structures and system call functions, which are the most important data for a system, should be protected as first-class candida...
Lei Sun, Tatsuo Nakajima