280 search results - page 32 / 56 » Termination Tools in Ordered Completion |
SIGMOD
2009
ACM
14 years 8 months ago
2009
ACM
Keeping the test databases as small as possible leads to faster execution of tests and facilitates the task of completing the test cases and evaluating the actual outputs against ...
FM
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Systematic engineering design processes have many aspects in common with software engineering, with CAD/CAM objects replacing program code as the implementation stage of ...
ICRA
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract— The design of robotic systems involves contributions from several areas of science and engineering. Electrical, mechanical and software components must be integrated to...
CF
2004
ACM
14 years 7 days ago
2004
ACM
In this paper we present a novel methodology for partial (re-)configuration that can be used for most bitstream configured hardware (HW). In particular low priced and not for part...
CSFW
2004
IEEE
14 years 6 days ago
2004
IEEE
We analyze the multi-party contract-signing protocols of Garay and MacKenzie (GM) and of Baum and Waidner (BW). We use a finite-state tool, MOCHA, which allows specification of pr...