640 search results - page 34 / 128 » Knowledge-Based Automation of a Design Method for Concurrent... |
TACAS
2010
Springer
14 years 3 months ago
2010
Springer
Abstract. We present Boom, a comprehensive analysis tool for Boolean programs. We focus in this paper on model-checking non-recursive concurrent programs. Boom implements a recent ...
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
— We describe the design, fabrication, and testing of an ultra-low cost Orthotweezers system for microassembly. By utilizing rapid prototyping technology, compliant mechanisms, a...
DAC
2000
ACM
14 years 9 months ago
2000
ACM
In this paper, we introduce a new technique for modeling and solving the dynamic power management (DPM) problem for systems with complex behavioral characteristics such as concurr...
VLDB
1992
ACM
14 years 23 days ago
1992
ACM
Service order provisioning is an important telecommunication application that automates the process of providing telephone services in response to the customer requests. It is an ...
ECSA
2008
Springer
2008
Springer
Automating Architecture Trade-Off Decision Making through a Complex Multi-attribute Decision Process
13 years 10 months ago
A typical software architecture design process requires the architects to make various trade-off architecture decisions. The architects need to consider different possibilities and...