Sciweavers

685 search results - page 71 / 137
» Implementing Controlled Languages in GF
Sort
View
140
Voted
RSP
2007
IEEE
139views Control Systems» more  RSP 2007»
15 years 10 months ago
Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina
Building Distributed Real-Time Embedded systems requires a stringent methodology, from early requirements capture to full implementation. However, there is a strong link between t...
Jérôme Hugues, Bechir Zalila, Laurent...
160
Voted
ASPLOS
2012
ACM
13 years 11 months ago
Comprehensive kernel instrumentation via dynamic binary translation
Dynamic binary translation (DBT) is a powerful technique that enables fine-grained monitoring and manipulation of an existing program binary. At the user level, it has been emplo...
Peter Feiner, Angela Demke Brown, Ashvin Goel
ACSAC
2006
IEEE
15 years 9 months ago
A Module System for Isolating Untrusted Software Extensions
With the recent advent of dynamically extensible software systems, in which software extensions may be dynamically loaded into the address space of a core application to augment i...
Philip W. L. Fong, Simon A. Orr
131
Voted
EMSOFT
2004
Springer
15 years 9 months ago
Loose synchronization of event-triggered networks for distribution of synchronous programs
Dataflow synchronous languages have attracted considerable interest in domains such as real-time control and hardware design. The potential benefits are promising: Discrete-time...
Jan Romberg, Andreas Bauer 0002
132
Voted
POS
1998
Springer
15 years 7 months ago
Optimizing the Read and Write Barriers for Orthogonal Persistence
Persistent programming languages manage volatile memory as a cache for stable storage, imposing a read barrier on operations that access the cache, and a write barrier on updates ...
Antony L. Hosking, Nathaniel Nystrom, Quintin I. C...