523 search results - page 62 / 105 » Online Testing of Real-time Systems Using Uppaal |
110
click to vote
ARITH
2001
IEEE
15 years 7 months ago
2001
IEEE
This paper demonstrates the advantages of using on-line arithmetic for traditional and advanced detection algorithms for communication systems. Detection is one of the core comput...
149
click to vote
SPIN
2000
Springer
15 years 7 months ago
2000
Springer
The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time ...
124
Voted
EUROSYS
2006
ACM
16 years 13 days ago
2006
ACM
Distributed systems are hard to build, profile, debug, and test. Monitoring a distributed system – to detect and analyze bugs, test for regressions, identify fault-tolerance pr...
130
click to vote
IWANN
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This paper proposes a new vision-based system that can extract walking parameters from human demonstration. The system uses only a non-calibrated USB webcam connected to ...
141
click to vote
SIGUCCS
2005
ACM
15 years 9 months ago
2005
ACM
Many higher education institutions are searching for cost effective tools for the delivery of a feature rich, synchronous online learning environment. While there are several comm...