1264 search results - page 60 / 253 » Designing Safe, Reliable Systems using Scade |
128
click to vote
ICNP
1999
IEEE
15 years 8 months ago
1999
IEEE
The Border Gateway Protocol, BGP, is currently the only interdomain routing protocol employed on the Internet. As required of any interdomain protocol, BGP allows policy-based met...
138
click to vote
PODC
2004
ACM
15 years 9 months ago
2004
ACM
We propose a framework to translate certain subclasses of differential equation systems into distributed protocols that are practical. The synthesized protocols are state machine...
132
click to vote
MICRO
2007
IEEE
15 years 10 months ago
2007
IEEE
Aggressive technology scaling over the years has helped improve processor performance but has caused a reduction in processor reliability. Shrinking transistor sizes and lower sup...
155
click to vote
ECBS
2008
IEEE
15 years 4 months ago
2008
IEEE
A discrete control system, with stringent hardware constraints, is effectively an embedded real-time system and hence requires a rigorous methodology to develop the software invol...
145
click to vote
CBMS
1995
IEEE
15 years 8 months ago
1995
IEEE
We present the design and implementation of a digital image capture and distribution system that supports remote ultrasound ezaminations and, in particular, real-time diagnosis fo...