6800 search results - page 691 / 1360 » Testing with Functions as Specifications |
181
click to vote
IROS
2006
IEEE
16 years 1 months ago
2006
IEEE
- Aiming to realize a non-verbal communication between humans and robots, the use of acoustic parameters related with voice quality features, besides classical prosodic features, i...
189
click to vote
IV
2006
IEEE
16 years 1 months ago
2006
IEEE
We describe a novel application for sonic events namely their generation via mathematical functions implemented on a universal all purpose Java platform. Their design is driven by...
231
click to vote
RTCSA
2006
IEEE
16 years 1 months ago
2006
IEEE
Hardware/software codesign involves various design problems including system specification, design space exploration, hardware/software co-verification, and system synthesis. A co...
171
click to vote
DATE
2005
IEEE
16 years 25 days ago
2005
IEEE
A class of discrete event synthesis problems can be reduced to solving language equations F • X ⊆ S, where F is the fixed component and S the specification. Sequential synthes...
191
click to vote
ETFA
2005
IEEE
16 years 25 days ago
2005
IEEE
This paper describes formal modeling and verification of automation systems from the system engineering point of view. Reuse of model components is the key issue in order to bring...