Sciweavers

3108 search results - page 198 / 622
» An Approach to Incremental Design of Distributed Embedded Sy...
Sort
View
132
Voted
ISORC
1999
IEEE
15 years 8 months ago
Implementing the Real-Time Publisher/Subscriber Model on the Controller Area Network (CAN)
Designing distributed real-time systems as being composed of communicating objects offers many advantages with respect to modularity and extensibility of these systems. However, d...
Jörg Kaiser, Michael Mock
127
Voted
MEMOCODE
2010
IEEE
15 years 1 months ago
LTSs for translation validation of (multi-clocked) SIGNAL specifications
Design of critical embedded systems demands for guarantees on the reliability of the implementation/compilation of a specification. In general, this guarantee takes either the form...
Julio C. Peralta, Thierry Gautier, Loïc Besna...
136
Voted
VLDB
1994
ACM
114views Database» more  VLDB 1994»
15 years 7 months ago
Relating Distributed Objects
Many relational and object-oriented database systems provide referential integrity and compound operations on related objects using relationship mechanisms. Distributed object sys...
Bruce E. Martin, R. G. G. Cattell
140
Voted
SAFECOMP
1998
Springer
15 years 8 months ago
An Agenda for Specifying Software Components with Complex Data Models
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
Kirsten Winter, Thomas Santen, Maritta Heisel
TLDI
2009
ACM
155views Formal Methods» more  TLDI 2009»
16 years 20 days ago
Opis: reliable distributed systems in OCaml
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
Pierre-Évariste Dagand, Dejan Kostic, Vikto...