Sciweavers

1866 search results - page 335 / 374
» Dynamic instantiation-checking components
Sort
View
DAC
2010
ACM
15 years 3 months ago
An efficient phase detector connection structure for the skew synchronization system
Clock skew optimization continues to be an important concern in circuit designs. To overcome the influence caused by PVT variations, the automatic skew synchronization scheme can ...
Yu-Chien Kao, Hsuan-Ming Chou, Kun-Ting Tsai, Shih...
FMCAD
2009
Springer
15 years 3 months ago
Industrial strength refinement checking
This paper discusses a methodology used on an industrial hardware development project to validate various cache-coherence protocol components. The idea is to use a high level model...
Jesse D. Bingham, John Erickson, Gaurav Singh, Fle...
CF
2004
ACM
15 years 3 months ago
An architecture to support cooperating mobile embedded systems
There is a sustained trend to embed computer systems in all kinds of intelligent products. Increasing emphasis is given to enhance the functionality of such systems beyond the pro...
Edgar Nett, Stefan Schemmer
101
Voted
BPM
2006
Springer
103views Business» more  BPM 2006»
15 years 3 months ago
IT Support for Release Management Processes in the Automotive Industry
Abstract. Car development is based on long running, concurrently executed and highly dependent processes. The coordination and synchronization of these processes has become a compl...
Dominic Müller, Joachim Herbst, Markus Hammor...
ESWS
2004
Springer
15 years 3 months ago
A Framework for Automated Service Composition in Service-Oriented Architectures
Abstract. Automated service composition refers to automating the entire process of composing a workflow. This involves automating the discovery and selection of the service, ensuri...
Shalil Majithia, David W. Walker, W. A. Gray