1074 search results - page 143 / 215 » An ASM-Characterization of a Class of Distributed Algorithms |
ICCAD
1998
IEEE
15 years 2 months ago
1998
IEEE
In this paper we present a new fanout optimization algorithm which is particularly suitable for digital circuits designed with submicron CMOS technologies. Restricting the class o...
106
click to vote
ICML
1994
IEEE
15 years 1 months ago
1994
IEEE
Conservation of information (COI) popularized by the no free lunch theorem is a great leveler of search algorithms, showing that on average no search outperforms any other. Yet in ...
114
click to vote
FOSSACS
2009
Springer
15 years 4 months ago
2009
Springer
In this essay we discuss the origin, central results, and some perspectives of algorithmic synthesis of nonterminating reactive programs. We recall the fundamental questions raised...
STOC
1994
ACM
15 years 1 months ago
1994
ACM
We present new results on the well-studied problem of learning DNF expressions. We prove that an algorithm due to Kushilevitz and Mansour [13] can be used to weakly learn DNF form...
IPPS
2009
IEEE
15 years 4 months ago
2009
IEEE
— There are many grid-based applications where a timely response to an important event is needed. Often such response can require a significant computation and possibly communic...