4985 search results - page 312 / 997 » Observation of String-Rewriting Systems |
134
click to vote
UCS
2004
Springer
15 years 10 months ago
2004
Springer
Fiducial tags can be recognised successfully and decoded by computer vision systems in order to produce location information. We term a system dependable if its observable results ...
183
Voted
HPDC
2002
IEEE
15 years 9 months ago
2002
IEEE
Developers and users of high-performance distributed systems often observe performance problems such as unexpectedly low throughput or high latency. Determining the source of the ...
140
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— This paper extends a state projection method for structure preserving model reduction to situations where only a weaker notion of system structure is available. This weaker not...
128
Voted
EUROMICRO
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper proposes and evaluates error detection and recovery mechanisms suitable for embedded systems. The purpose of these mechanisms is to provide detection of and recovery fr...
133
click to vote
FM
1999
Springer
15 years 9 months ago
1999
Springer
Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TC...