6800 search results - page 968 / 1360 » Testing with Functions as Specifications |
158
click to vote
IROS
2006
IEEE
16 years 23 days ago
2006
IEEE
- In this paper, we present a novel technique for calibrating central omnidirectional cameras. The proposed procedure is very fast and completely automatic, as the user is only ask...
210
click to vote
RTSS
2006
IEEE
16 years 23 days ago
2006
IEEE
Time-sensitive Wireless Sensor Network (WSN) applications require finite delay bounds in critical situations. This paper provides a methodology for the modeling and the worst-case...
168
click to vote
ASPDAC
2006
ACM
16 years 22 days ago
2006
ACM
- Early estimation of the execution time of Real-Time embedded SW is an essential task in complex, HW/SW embedded system design. Application SW execution time estimation requires t...
164
click to vote
IUI
2006
ACM
16 years 21 days ago
2006
ACM
The paper presents a novel approach to the peripheral display of information by applying audio effects to an arbitrary selection of music. We examine a specific instance: the comm...
164
click to vote
CSMR
2005
IEEE
16 years 11 days ago
2005
IEEE
A domain-specific visual language, Function Block Language (FBL), is used in Metso Automation for writing automation control programs. The same engineering environment is used for...