Sciweavers

1410 search results - page 76 / 282
» A Logic for Virtual Memory
Sort
View
USS
2010
15 years 1 months ago
Cling: A Memory Allocator to Mitigate Dangling Pointers
Use-after-free vulnerabilities exploiting so-called dangling pointers to deallocated objects are just as dangerous as buffer overflows: they may enable arbitrary code execution. U...
Periklis Akritidis
146
Voted
KBSE
2008
IEEE
15 years 10 months ago
Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker
Flash memory has become virtually indispensable in most mobile devices. In order for mobile devices to successfully provide services to users, it is essential that flash memory b...
Moonzoo Kim, Yunho Kim, Hotae Kim
ISER
1997
Springer
115views Robotics» more  ISER 1997»
15 years 8 months ago
Mechanical Design and Control of a High-Bandwidth Shape Memory Alloy Tactile Display
: We have constructed a tactile shape display which can be used to convey small-scale shapes in teleoperation and virtual environments. A line of 10 pins spaced 2 mm on center are ...
Parris S. Wellman, William J. Peine, Gregg Favalor...
PC
2007
141views Management» more  PC 2007»
15 years 3 months ago
Physically based simulation of cloth on distributed memory architectures
Physically based simulation of cloth in virtual environments is a computationally demanding problem. It involves modeling the internal material properties of the textile (physical...
Bernhard Thomaszewski, Wolfgang Blochinger
PADS
1996
ACM
15 years 8 months ago
Conservative Circuit Simulation on Shared-Memory Multiprocessors
We investigate conservative parallel discrete event simulations for logical circuits on shared-memory multiprocessors. For a first estimation of the possible speedup, we extend th...
Jörg Keller, Thomas Rauber, Bernd Rederlechne...