954 search results - page 126 / 191 » Integrated design in a service marketplace |
WOA
2000
13 years 10 months ago
2000
There is a growing interest in the integration of mechanized reasoning systems such as automated theorem provers, computer algebra systems, and model checkers. State-of-the-art re...
DATE
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper presents VISTA, a new methodology and tool dedicated to analyse system level performance by executing full-scale SW application code on a transaction-level model of the...
TSMC
2010
13 years 3 months ago
2010
Abstract--With the ever-increasing wireless/wired data applications recently, considerable efforts have focused on the design of distributed explicit rate flow control schemes for ...
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
— This video presents a humanoid two-arm system developed as a research platform for studying dexterous twohanded manipulation. The system is based on the modular DLR-Lightweight...
SIGSOFT
2005
ACM
14 years 10 months ago
2005
ACM
Software systems are complex and difficult to analyze. Reengineering is a complex activity that usually involves combining different techniques and tools. Moose is an reengineerin...