3565 search results - page 162 / 713 » Modeling a system controller for timing analysis |
149
Voted
APIN
2008
15 years 3 months ago
2008
Abstract Traditional financial analysis systems utilize lowlevel price data as their analytical basis. For example, a decision-making system for stock predictions regards raw price...
189
Voted
RTS
2010
14 years 10 months ago
2010
Safety-critical real-time standards define several criticality levels for the tasks (e.g., DO-178B - Software Considerations in Airborne Systems and Equipment Certification). Clas...
133
click to vote
WOSP
2010
ACM
15 years 10 months ago
2010
ACM
Nowadays the 2-Phase-Locking (2PL) concurrency control algorithm still plays a core rule in the construction of transactional systems (e.g. database systems and transactional memo...
111
Voted
CAIP
1999
Springer
15 years 7 months ago
1999
Springer
We address the problem of control-based recovery of robot pose and the environmental lay-out. Panoramic sensors provide us with a 1D projection of characteristic features of a 2D ...
125
click to vote
IFIPTCS
2000
15 years 7 months ago
2000
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...