Sciweavers

495 search results - page 65 / 99
» HIDE : A Logic Based Hardware Development Environment
Sort
View
JSS
2008
136views more  JSS 2008»
13 years 7 months ago
Specification, decomposition and agent synthesis for situation-aware service-based systems
Service-based systems are distributed computing systems with the major advantage of enabling rapid composition of distributed applications, such as collaborative research and deve...
Stephen S. Yau, Haishan Gong, Dazhi Huang, Wei Gao...
DATE
2006
IEEE
88views Hardware» more  DATE 2006»
14 years 1 months ago
Timing-reasoning-based delay fault diagnosis
In this paper, we propose a timing-reasoning algorithm to improve the resolution of delay fault diagnosis. In contrast to previous approaches which identify candidates by utilizin...
Kai Yang, Kwang-Ting Cheng
HOLOMAS
2009
Springer
14 years 9 days ago
Design and Implementation of LabVIEW-Based IEC61499 Compliant Device
The method of IEC 61499 compliant device implementation with the National Instruments LabVIEW is proposed. The work focuses on these aspects of the tasks of the event generation an...
Grzegorz Polaków, Mieczyslaw Metzger
ROBOCUP
2000
Springer
101views Robotics» more  ROBOCUP 2000»
13 years 11 months ago
CMU Hammerheads Team Description
In this paper the hardware and software design of the CMU Hammerhead middle-size robot team are presented. The team consists of 4 fully autonomous robots with wireless communicatio...
Rosemary Emery, Tucker R. Balch, Rande Shern, Kevi...
ET
1998
99views more  ET 1998»
13 years 7 months ago
A Behavior Model for Next Generation Test Systems
Defining information required by automatic test systems frequently involves a description of system behavior. To facilitate capturing the required behavior information in the cont...
Lee A. Shombert, John W. Sheppard