2838 search results - page 470 / 568 » Verifying Controlled Components |
ICMCS
2007
IEEE
14 years 4 months ago
2007
IEEE
This paper introduces the software framework MMER Lab which allows an effective assembly of modular signal processing systems optimized for memory efficiency and performance. Our...
ICRA
2007
IEEE
14 years 4 months ago
2007
IEEE
—The inherent uncertainty associated with unstructured grasping tasks makes establishing a successful grasp difficult. Traditional approaches to this problem involve hands that a...
ICSEA
2007
IEEE
14 years 4 months ago
2007
IEEE
Web services are often employed to create wide distributed evolvable applications from existing components that constitute a service-based software system. ServiceOriented Archite...
IEEEARES
2007
IEEE
14 years 4 months ago
2007
IEEE
In a software system, it is inevitable that components will occasionally fail to produce acceptable results and become unavailable to serve its clients. Replication is the techniq...
ISVLSI
2007
IEEE
14 years 4 months ago
2007
IEEE
In sub-90nm technologies, more frequent hard faults pose a serious burden on processor design and yield control. In addition to manufacturing-time chip repair schemes, microarchit...