Sciweavers

419 search results - page 75 / 84
» A Control-Theoretic Approach to Flow Control
Sort
View
ITC
1999
IEEE
107views Hardware» more  ITC 1999»
15 years 3 months ago
A high-level BIST synthesis method based on a region-wise heuristic for an integer linear programming
A high-level built-in self-test (BIST) synthesis involves several tasks such as system register assignment, interconnection assignment, and BIST register assignment. Existing high...
Han Bin Kim, Dong Sam Ha
144
Voted
CF
2007
ACM
15 years 3 months ago
Converting massive TLP to DLP: a special-purpose processor for molecular orbital computations
We propose an application specific processor for computational quantum chemistry. The kernel of interest is the computation of electron repulsion integrals (ERIs), which vary in c...
Tirath Ramdas, Gregory K. Egan, David Abramson, Ki...
BPM
2006
Springer
128views Business» more  BPM 2006»
15 years 1 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
86
Voted
EDOC
2008
IEEE
15 years 1 months ago
Supporting Service-Oriented Design with Metrics
The service-oriented architectural style is widely perceived today. However, service orientation is a very general concept and its application in real-life situations is somewhat ...
Helge Hofmeister, Guido Wirtz
IASSE
2004
15 years 1 months ago
System Evolution through Design Information Evolution: a Case Study
This paper describes how design information, in our case UML specifications, can be used to evolve a software system and validate the consistency of such an evolution. This work c...
Walter Cazzola, Ahmed Ghoneim, Gunter Saake