Sciweavers

1757 search results - page 167 / 352
» Integrating and Extending JCSP
Sort
View
GLVLSI
2002
IEEE
98views VLSI» more  GLVLSI 2002»
15 years 9 months ago
Minimizing concurrent test time in SoC's by balancing resource usage
We present a novel test scheduling algorithm for embedded corebased SoC’s. Given a system integrated with a set of cores and a set of test resources, we select a test for each c...
Dan Zhao, Shambhu J. Upadhyaya, Martin Margala
GI
2009
Springer
15 years 9 months ago
A Game-Theoretic Model for Distributed Programming by Contract
: We present an extension of the programming-by-contract (PBC) paradigm to a concurrent and distributed environment. Classical PBC is characterized by absolute conformance of code ...
Anders Starcke Henriksen, Tom Hvitved, Andrzej Fil...
MIS
2001
Springer
81views Multimedia» more  MIS 2001»
15 years 9 months ago
Multimedia Reporting: Building Multimedia Presentations with Query Answers
A multimedia report is a multimedia presentation which integrates data returned by one or more queries to a multimedia database, thus extending the concept of report familiar in tr...
Augusto Celentano, Ombretta Gaggi
CLUSTER
2000
IEEE
15 years 9 months ago
From Metacomputing to Metabusiness Processing
The importance of large-scale electrical business processing is increasing today as recent Internet technologies build on the basic infrastructure. Simply integrating existing tec...
Li-jie Jin, Andrew S. Grimshaw
SSIAI
2000
IEEE
15 years 9 months ago
Unsupervised Dempster-Shafer Fusion of Dependent Sensors
This paper deals with the problem of statistical unsupervised fusion of dependent sensors with its potential applications to multisensor image segmentation. On the one hand, Bayes...
Wojciech Pieczynski