285 search results - page 40 / 57 » TinyGALS: A Programming Model for Event-Driven Embedded Syst... |
136
Voted
ESE
2006
15 years 1 months ago
2006
Agile methods have evolved as a bottom-up approach to software development. However, as the software in embedded products is only one part of development projects, agile methods mu...
114
Voted
IFIP
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. In this article, we present a flexible simulation environment for embedded real-time software refinement by a mixed level cosimulation. For this, ne the native speed of a...
ICALP
1989
Springer
15 years 5 months ago
1989
Springer
Category theory has been successfully employed to structure the confusing setup of models and equivalences for concurrency: Winskel and Nielsen have related the standard models nc...
HASE
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper proposes a lightweight checkpointing scheme for real-time embedded systems. The goal is to separate concerns by allowing applications to take checkpoints independently ...
152
click to vote
SIGSOFT
2006
ACM
15 years 7 months ago
2006
ACM
Bitwise operations are commonly used in low-level systems code to access multiple data fields that have been packed into a single word. Program analysis tools that reason about s...