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 ...
— We describe the design, fabrication, and testing of an ultra-low cost Orthotweezers system for microassembly. By utilizing rapid prototyping technology, compliant mechanisms, a...
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...
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 ...
Mansoor Ansari, Linda Ness, Marek Rusinkiewicz, Am...
A typical software architecture design process requires the architects to make various trade-off architecture decisions. The architects need to consider different possibilities and...