Sciweavers

318 search results - page 7 / 64
» On the Computational Power of 1-Deterministic and Sequential...
Sort
View
ISIM
2007
14 years 11 months ago
Notes on Restricted P Colonies
We continue the investigation of P coloniesintroduced in [7], of abstract computing devices composed of independent agents, acting and evolving in a shared environment. We determin...
Lucie Ciencialová, Ludek Cienciala
DAC
2007
ACM
15 years 10 months ago
Computationally Efficient Power Integrity Simulation for System-on-Package Applications
Power integrity simulation for system-on-package (SoP) based modules is a crucial bottleneck in the SoP design flow. In this paper, the multi-layer finite difference method (M-FDM...
Krishna Bharath, Ege Engin, Madhavan Swaminathan, ...
JAIR
2010
165views more  JAIR 2010»
14 years 8 months ago
A Model-Based Active Testing Approach to Sequential Diagnosis
Model-based diagnostic reasoning often leads to a large number of diagnostic hypotheses. The set of diagnoses can be reduced by taking into account extra observations (passive mon...
Alexander Feldman, Gregory M. Provan, Arjan J. C. ...
ICDE
2007
IEEE
155views Database» more  ICDE 2007»
15 years 4 months ago
Atomicity for P2P based XML Repositories
Over the years, the notion of transactions has become synonymous with providing fault-tolerance, reliability and robustness to database systems. However, challenges arise when we ...
Debmalya Biswas, Il-Gon Kim
71
Voted
POPL
2010
ACM
15 years 4 months ago
Compress-and-conquer for optimal multicore computing
We propose a programming paradigm called compress-and-conquer (CC) that leads to optimal performance on multicore platforms. Given a multicore system of p cores and a problem of s...
Zhijing G. Mou, Hai Liu, Paul Hudak