Sciweavers

3108 search results - page 163 / 622
» An Approach to Incremental Design of Distributed Embedded Sy...
Sort
View
131
Voted
DAC
2002
ACM
16 years 4 months ago
A framework for evaluating design tradeoffs in packet processing architectures
We present an analytical method to evaluate embedded network packet processor architectures, and to explore their design space. Our approach is in contrast to those based on simul...
Lothar Thiele, Matthias Gries, Samarjit Chakrabort...
109
Voted
SIGMETRICS
2008
ACM
132views Hardware» more  SIGMETRICS 2008»
15 years 3 months ago
Durability of replicated distributed storage systems
We study the problem of guaranteeing data durability [2] in distributed storage systems based on replication. Our work is motivated by several several recent efforts [3, 5, 1] to ...
Sriram Ramabhadran, Joseph Pasquale
OPODIS
2003
15 years 4 months ago
dSL: An Environment with Automatic Code Distribution for Industrial Control Systems
Abstract. We present and motivate the definition and use of the language and environment dSL, an imperative and event driven language designed to program distributed industrial co...
Bram De Wachter, Thierry Massart, Cédric Me...
122
Voted
CHI
2003
ACM
16 years 3 months ago
Taking email to task: the design and evaluation of a task management centered email tool
Email has come to play a central role in task management, yet email tool features have remained relatively static in recent years, lagging behind users' evolving practices. T...
Victoria Bellotti, Nicolas Ducheneaut, Mark Howard...
121
Voted
FBT
1998
119views Formal Methods» more  FBT 1998»
15 years 4 months ago
Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata
We build on work in designing modeling languages for hybrid systems in the development of CTA, the Cottbus Timed Automata. Our design features a facility to specify a hybrid system...
Dirk Beyer, Heinrich Rust