2838 search results - page 375 / 568 » Verifying Controlled Components |
DATE
2002
IEEE
14 years 3 months ago
2002
IEEE
This paper gives an overview on a Virtual electronic component or IP (Intellectual Property) exchange infrastructure whose main components are a XML "well structured IP e-cat...
EH
2002
IEEE
14 years 3 months ago
2002
IEEE
This paper reports on the results of our recent NASA SBIR contract, “Autonomous Self-Repairing Circuits,” in which we developed a novel approach to fault-tolerant circuit synt...
ICPADS
2002
IEEE
14 years 3 months ago
2002
IEEE
Switching fabrics with distributed control for scalable routers have been proposed recently [7]. Such a fabric consists of small routing units (RU’s) interconnected by multistag...
ICSE
2001
IEEE-ACM
14 years 3 months ago
2001
IEEE-ACM
The paper focuses on investigating the combined use of semantic and structural information of programs to support the comprehension tasks involved in the maintenance and reenginee...
PVM
2001
Springer
14 years 3 months ago
2001
Springer
Abstract. Harness is a reconÞgurable, heterogeneous distributed metacomputing framework for the dynamic conÞguration of distributed virtual machines, through the use of parallel ...