5210 search results - page 186 / 1042 » Tools for Distributed Facilitation |
149
click to vote
HASE
2007
IEEE
15 years 8 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
142
click to vote
EMSOFT
2010
Springer
15 years 2 months ago
2010
Springer
We propose a technique to automatically synthesize programs and schedules for hard real-time distributed (embedded) systems from synchronous data-flow models. Our technique connec...
120
click to vote
UIST
2004
ACM
15 years 10 months ago
2004
ACM
In this paper, we describe the YeTi information sharing system that has been designed to foster community building through informal digital content sharing. The YeTi system is a g...
161
click to vote
EMSOFT
2006
Springer
15 years 6 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
144
click to vote
IMC
2004
ACM
15 years 10 months ago
2004
ACM
Dynamic Host Configuration Protocol (DHCP) was defined to facilitate automatic configuration of IP addresses and other network parameters to hosts in a network. Efficiency of D...