Sciweavers

878 search results - page 148 / 176
» Learning to Control in Operational Space
Sort
View
SRDS
2003
IEEE
15 years 5 months ago
Transparent Runtime Randomization for Security
A large class of security attacks exploit software implementation vulnerabilities such as unchecked buffers. This paper proposes Transparent Runtime Randomization (TRR), a general...
Jun Xu, Zbigniew Kalbarczyk, Ravishankar K. Iyer
BSN
2009
IEEE
211views Sensor Networks» more  BSN 2009»
15 years 4 months ago
TEMPO 3.1: A Body Area Sensor Network Platform for Continuous Movement Assessment
— This work presents TEMPO (Technology-Enabled Medical Precision Observation) 3.1, a third generation body area sensor platform that accurately and precisely captures, processes,...
Adam T. Barth, Mark A. Hanson, Harry C. Powell Jr....
KBSE
2000
IEEE
15 years 4 months ago
Model Checking Programs
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
Willem Visser, Klaus Havelund, Guillaume P. Brat, ...
80
Voted
SIGGRAPH
2000
ACM
15 years 4 months ago
Lapped textures
We present a method for creating texture over an arbitrary surface mesh using an example 2D texture. The approach is to identify interesting regions (texture patches) in the 2D ex...
Emil Praun, Adam Finkelstein, Hugues Hoppe
VLDB
1997
ACM
109views Database» more  VLDB 1997»
15 years 3 months ago
Logical and Physical Versioning in Main Memory Databases
We present a design for multi-version concurrency control and recovery in a main memory database, and describe logical and physical versioning schemes that allow read-only transac...
Rajeev Rastogi, S. Seshadri, Philip Bohannon, Denn...