1082 search results - page 89 / 217 » Modeling and simulation alternatives for the design of netwo... |
RTAS
2002
IEEE
14 years 1 months ago
2002
IEEE
End-to-end predictability of operations is essential for many fixed-priority distributed real-time and embedded (DRE) applications, such as command and control systems, manufactu...
FMCAD
2007
Springer
13 years 12 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
WSC
1998
13 years 9 months ago
1998
The design of a quality timetable for the Dutch Railways is a complex task, because of the characteristics of the railway services. The complexity of the network and the heavily i...
CONEXT
2008
ACM
13 years 10 months ago
2008
ACM
Modeling the Internet delay structure is an important issue in designing large-scale distributed systems. However, linear models fail to characterize Triangle Inequality Violation...
RTCSA
2007
IEEE
14 years 2 months ago
2007
IEEE
An important property in a sensor network is the monitoring of temporal changes of hazardous situations such as forest fires. Rescue groups need to be aware of dynamic changes th...