Sciweavers

2658 search results - page 359 / 532
» Micro-communication Element System
Sort
View
DATE
2009
IEEE
98views Hardware» more  DATE 2009»
15 years 11 months ago
A real-time application design methodology for MPSoCs
This paper presents a novel technique for the modeling, simulation, and analysis of real-time applications on MultiProcessor Systems-on-Chip (MPSoCs). This technique is based on a...
Giovanni Beltrame, Luca Fossati, Donatella Sciuto
SSDBM
2009
IEEE
84views Database» more  SSDBM 2009»
15 years 11 months ago
Expressing OLAP Preferences
Abstract. Multidimensional databases play a relevant role in statistical and scientific applications, as well as in business intelligence systems. Their users express complex OLAP...
Matteo Golfarelli, Stefano Rizzi
EPIA
2009
Springer
15 years 11 months ago
Computing Confidence Values: Does Trust Dynamics Matter?
Computational Trust and Reputation (CTR) systems are platforms capable of collecting trust information about candidate partners and of computing confidence scores for each one of t...
Joana Urbano, Ana Paula Rocha, Eugénio C. O...
FROCOS
2009
Springer
15 years 11 months ago
Combining Theories with Shared Set Operations
Motivated by applications in software verification, we explore automated reasoning about the non-disjoint combination of theories of infinitely many finite structures, where the...
Thomas Wies, Ruzica Piskac, Viktor Kuncak
CDC
2008
IEEE
137views Control Systems» more  CDC 2008»
15 years 11 months ago
Increasingly correct message passing averaging algorithms
Abstract— We study averaging algorithms, when implemented in large networks of wirelessly connected elements. We extend the notion of “Increasing Correctness” (IC) which was ...
Kurt Plarre, Francesco Bullo