Sciweavers

722 search results - page 35 / 145
» Organizational Abstractions for the Analysis and Design of M...
Sort
View
ECAI
2000
Springer
14 years 1 months ago
Autosteve: Automated Electrical Design Analysis
AutoSteve performs automated electrical design based on qualitative simulation and functional abstraction. It is the first commercial product capable of performing these tasks for ...
Chris Price
ASYNC
2000
IEEE
122views Hardware» more  ASYNC 2000»
14 years 1 months ago
DUDES: A Fault Abstraction and Collapsing Framework for Asynchronous Circuits
Fault Abstraction and Collapsing Framework for Asynchronous Circuits Philip P. Shirvani, Subhasish Mitra Center for Reliable Computing Stanford University Stanford, CA Jo C. Eberge...
Philip P. Shirvani, Subhasish Mitra, Jo C. Ebergen...
BPM
2006
Springer
128views Business» more  BPM 2006»
13 years 11 months ago
Towards Formal Verification of Web Service Composition
Abstract. Web services composition is an emerging paradigm for enabling application integration within and across organizational boundaries. Current Web services composition propos...
Mohsen Rouached, Olivier Perrin, Claude Godart
EIT
2008
IEEE
13 years 11 months ago
Design and analysis of efficient reconfigurable wavelet filters
Abstract--Real-time image and multimedia processing applications such as video surveillance and telemedicine can have dynamic requirements of system latency, throughput, and power ...
Amit Pande, Joseph Zambreno
BIBM
2008
IEEE
14 years 3 months ago
Synthetic Biology Design and Analysis: A Case Study of Frequency Entrained Biological Clock
Abstract—Biological clock, a self sustaining oscillation widely discovered in many species, is important to determine many biological activities, for example, the sleep-wake cycl...
Peng Yu, Xi Chen, David Z. Pan, Andrew D. Ellingto...