Sciweavers

1631 search results - page 26 / 327
» Uniform Distributed Synthesis
Sort
View
79
Voted
PODC
1998
ACM
15 years 5 months ago
Synthesis of Fault-Tolerant Concurrent Programs
Anish Arora, Paul C. Attie, E. Allen Emerson
63
Voted
CONCUR
2008
Springer
15 years 2 months ago
Environment Assumptions for Synthesis
Krishnendu Chatterjee, Thomas A. Henzinger, Barbar...
56
Voted
IPPS
2010
IEEE
14 years 10 months ago
High-level synthesis techniques for in-circuit assertion-based verification
John Curreri, Greg Stitt, Alan D. George
97
Voted
ECCC
2002
90views more  ECCC 2002»
15 years 17 days ago
Almost k-wise independence versus k-wise independence
We say that a distribution over {0, 1}n is ( , k)-wise independent if its restriction to every k coordinates results in a distribution that is -close to the uniform distribution. ...
Noga Alon, Oded Goldreich, Yishay Mansour
DATE
2003
IEEE
86views Hardware» more  DATE 2003»
15 years 6 months ago
Schedulability Analysis and Optimization for the Synthesis of Multi-Cluster Distributed Embedded Systems
1 We present an approach to schedulability analysis for the synthesis of multi-cluster distributed embedded systems consisting of timetriggered and event-triggered clusters, interc...
Paul Pop, Petru Eles, Zebo Peng