Sciweavers

728 search results - page 83 / 146
» Bristlecone: Language Support for Robust Software Applicatio...
Sort
View
EUROSYS
2011
ACM
13 years 6 days ago
Refuse to crash with Re-FUSE
We introduce Re-FUSE, a framework that provides support for restartable user-level file systems. Re-FUSE monitors the user-level file-system and on a crash transparently restart...
Swaminathan Sundararaman, Laxman Visampalli, Andre...
ICSE
2008
IEEE-ACM
14 years 8 months ago
Source-level debugging with the whyline
The visualizations of the Whyline are presented, which focus on supporting the exploration a source code and how it executes. The visualization is concise, simple to navigate, and...
Andrew J. Ko, Brad A. Myers
FDL
2005
IEEE
14 years 2 months ago
System model of an inertial navigation system using SystemC-AMS
This paper presents an approach for modeling an inertial navigation system. This system consists of a 3D acceleration and rotation sensor array, analog and digital error correctio...
Erik Markert, Göran Herrmann, Dietmar Mü...
EDOC
2003
IEEE
14 years 2 months ago
A Model-Driven Transformation Method
Model-driven architectures (MDA) separate the business or application logic from the underlying platform technology and represent this logic with precise semantic models. These mo...
Jana Koehler, Rainer Hauser, Shubir Kapoor, Freder...
LCTRTS
2001
Springer
14 years 1 months ago
Embedded Control Systems Development with Giotto
Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Gio...
Thomas A. Henzinger, Benjamin Horowitz, Christoph ...