Sciweavers

163 search results - page 22 / 33
» Composition Theorems in Communication Complexity
Sort
View
ICIDS
2009
Springer
15 years 4 months ago
Exploring Narrative Presentation for Large Multimodal Lifelog Collections through Card Sorting
Using lifelogging tools, personal digital artifacts are collected continuously and passively throughout each day. The wealth of information such an archive contains on our life his...
Daragh Byrne, Gareth J. F. Jones
SEW
2006
IEEE
15 years 3 months ago
Integrating Probability with Time and Shared-Variable Concurrency
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P....
COOPIS
2003
IEEE
15 years 3 months ago
From Distributed Objects to Hierarchical Grid Components
We propose a parallel and distributed component framework for building Grid applications, adapted to the hierarchical, highly distributed, highly heterogeneous nature of Grids. Thi...
Françoise Baude, Denis Caromel, Matthieu Mo...
SIGSOFT
1998
ACM
15 years 1 months ago
Formal Modeling and Analysis of the HLA Component Integration Standard
An increasingly important trend in the engineering of complex systems is the design of component integration standards. Such standards de ne rules of interaction and shared commun...
Robert Allen, David Garlan
ACSD
2006
IEEE
109views Hardware» more  ACSD 2006»
14 years 11 months ago
Synthesis of Synchronous Interfaces
Reuse of IP blocks has been advocated as a means to conquer the complexity of today's system-on-chip (SoC) designs. Component integration and verification in such systems is ...
Purandar Bhaduri, S. Ramesh