Sciweavers

1992 search results - page 91 / 399
» Memory modeling for system synthesis
Sort
View
ACSAC
2010
IEEE
15 years 3 months ago
Analyzing and improving Linux kernel memory protection: a model checking approach
Code injection continues to pose a serious threat to computer systems. Among existing solutions, W X is a notable approach to prevent the execution of injected code. In this paper...
Siarhei Liakh, Michael C. Grace, Xuxian Jiang
PPOPP
2012
ACM
14 years 1 months ago
Massively parallel breadth first search using a tree-structured memory model
Analysis of massive graphs has emerged as an important area for massively parallel computation. In this paper, it is shown how the Fresh Breeze trees-of-chunks memory model may be...
Tom St. John, Jack B. Dennis, Guang R. Gao
CF
2005
ACM
15 years 7 months ago
Exploiting processor groups to extend scalability of the GA shared memory programming model
Exploiting processor groups is becoming increasingly important for programming next-generation high-end systems composed of tens or hundreds of thousands of processors. This paper...
Jarek Nieplocha, Manojkumar Krishnan, Bruce Palmer...
HAPTICS
2010
IEEE
15 years 10 months ago
Preliminary Experiment Combining Virtual Reality Haptic Shoes and Audio Synthesis
We describe a system that can provide combined auditory and haptic sensations that arise while walking on different grounds. The simulation is based on a physical model that drive...
Rolf Nordahl, Amir Berrezag, Smilen Dimitrov, Luca...
AR
2006
94views more  AR 2006»
15 years 5 months ago
Stability analysis and robust composite controller synthesis for flexible joint robots
In this paper the control of exible joint manipulators is studied in detail. The model of N{axis exible joint manipulators are derived and reformulated in the form of singular per...
H. D. Taghirad, M. A. Khosravi