Sciweavers

2943 search results - page 327 / 589
» Software Implementation of Synchronous Programs
Sort
View
ICESS
2007
Springer
15 years 9 months ago
A Code Generation Framework for Actor-Oriented Models with Partial Evaluation
Embedded software requires concurrency formalisms other than threads and mutexes used in traditional programming languages like C. Actor-oriented design presents a high level abstr...
Gang Zhou, Man-Kit Leung, Edward A. Lee
AGILEDC
2005
IEEE
15 years 9 months ago
Agile Metrics at the Israeli Air Force
It is a significant challenge to implement and research agile software development methods in organizations such as the army. Since it differs from organizations in the industry a...
Yael Dubinsky, David Talby, Orit Hazzan, Arie Kere...
EMSOFT
2005
Springer
15 years 8 months ago
Using separation of concerns for embedded systems design
systems are commonly abstracted as collections of interacting components. This perspective has lead to the insight that component behaviors can be defined separately from admissi...
Ethan K. Jackson, Janos Sztipanovits
WCRE
1998
IEEE
15 years 7 months ago
Type Inference for COBOL Systems
Types are a good starting point for various software reengineering tasks. Unfortunately, programs requiring reengineering most desperately are written in languages without an adeq...
Arie van Deursen, Leon Moonen
ARCS
2006
Springer
15 years 7 months ago
An Operating System Infrastructure for Fault-Tolerant Reconfigurable Networks
Abstract. Dynamic hardware reconfiguration is becoming a key technology in embedded system design that offers among others new potentials in dependable computing. To make system de...
Dirk Koch, Thilo Streichert, Steffen Dittrich, Chr...