Sciweavers

724 search results - page 75 / 145
» Implementing Execution Controls in Unix
Sort
View
MICRO
2006
IEEE
117views Hardware» more  MICRO 2006»
14 years 3 months ago
PathExpander: Architectural Support for Increasing the Path Coverage of Dynamic Bug Detection
Dynamic software bug detection tools are commonly used because they leverage run-time information. However, they suffer from a fundamental limitation, the Path Coverage Problem: t...
Shan Lu, Pin Zhou, Wei Liu, Yuanyuan Zhou, Josep T...
OSDI
2006
ACM
14 years 9 months ago
XFI: Software Guards for System Address Spaces
XFI is a comprehensive protection system that offers both flexible access control and fundamental integrity guarantees, at any privilege level and even for legacy code in commodit...
Úlfar Erlingsson, George C. Necula, Mart&ia...
VRML
1998
ACM
14 years 1 months ago
Event Processing for Complicated Routes in VRML 2.0
VRML 2.0 allows a content creator to dynamically control state changes in a virtual reality world by defining routes of events over VRML 2.0 nodes. In the conceptual execution mod...
Masaaki Taniguchi
SPLC
2008
13 years 10 months ago
Feature Descriptions for Context-oriented Programming
In Context-oriented Programming (COP), programs can be partitioned into behavioral variations expressed as sets of partial program definitions. Such layers can be activated and de...
Pascal Costanza, Theo D'Hondt
VL
2005
IEEE
123views Visual Languages» more  VL 2005»
14 years 2 months ago
A Visually-Specified Code Generator for Simulink/Stateflow
On one hand, visual modeling languages are often used today in engineering domains, Mathworks’ Simulink/Stateflow for simulation, signal processing and controls being the prime ...
Sandeep Neema, Zsolt Kalmar, Feng Shi, Attila Vizh...