5200 search results - page 852 / 1040 » Symbolic models for control systems |
256
click to vote
SIGSOFT
2006
ACM
16 years 1 months ago
2006
ACM
Bitwise operations are commonly used in low-level systems code to access multiple data fields that have been packed into a single word. Program analysis tools that reason about s...
194
click to vote
MSWIM
2005
ACM
16 years 21 days ago
2005
ACM
The performance of mobile ad hoc networks can be influenced by numerous factors, including protocol design at every layer; parameter settings such as retransmission limits and ti...
227
click to vote
AIA
2006
15 years 8 months ago
2006
Model-based diagnosis of technical systems requires both a simulation machinery and a logic calculus. The former is responsible for the system's behavior analysis, the latter...
209
click to vote
WINET
2008
15 years 7 months ago
2008
One class of applications envisaged for the IEEE 802.15.4 LR-WPAN (low data rate - wireless personal area network) standard is wireless sensor networks for monitoring and control a...
198
click to vote
RTSS
1998
IEEE
15 years 11 months ago
1998
IEEE
Schedulability analysis of fixed priority preemptive scheduled systems can be performed by calculating the worst-case response-time of the involved processes. The system is deemed...