Sciweavers

4631 search results - page 360 / 927
» Experiences with an Environment Generation System
Sort
View
GI
2008
Springer
15 years 7 months ago
A Model-Based Development Method for Device Drivers
Abstract: The present contribution deals with the experiences of introducing a modelbased software development method for device driver families used in electronic control units in...
Ulrich Margull, Michael Kersten, Nikolaus Regnat
ECRTS
2000
IEEE
15 years 11 months ago
Prototyping distributed multimedia systems using communicating real-time state machines
This paper describes a methodology for the development of real-time systems and shows its application to the modeling, analysis and implementation of distributed multimedia system...
Giancarlo Fortino, Libero Nigro
WSC
1998
15 years 8 months ago
Communicating Structures for Modeling Large-scale Systems
ating Structures is a system abstraction that helps to model large-scale distributed systems, whose performance mostly depends on how well the data and messages traffic is organiz...
Vadim E. Kotov
HASE
2008
IEEE
15 years 7 months ago
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
Kohei Sakurai, Péter Bokor, Neeraj Suri
IWMM
2009
Springer
114views Hardware» more  IWMM 2009»
16 years 1 months ago
Scalable support for multithreaded applications on dynamic binary instrumentation systems
Dynamic binary instrumentation systems are used to inject or modify arbitrary instructions in existing binary applications; several such systems have been developed over the past ...
Kim M. Hazelwood, Greg Lueck, Robert Cohn