8874 search results - page 192 / 1775 » A New Implementation of Automath |
147
click to vote
SIGMOD
2010
ACM
14 years 11 months ago
2010
ACM
The peer review system as used in several computer science communities has several flaws including long review times, overloaded reviewers, as well as fostering of niche topics. T...
122
click to vote
TIT
2010
14 years 11 months ago
2010
Soft-input soft-output (SISO) detection algorithms form the basis for iterative decoding. The computational complexity of SISO detection often poses significant challenges for prac...
163
click to vote
FOSSACS
2011
Springer
14 years 7 months ago
2011
Springer
The model checking of higher-order recursion schemes has been actively studied and is now becoming a basis of higher-order program verification. We propose a new algorithm for tri...
149
click to vote
ENTCS
2002
15 years 4 months ago
2002
I describe a new compiler infrastructure for imperative synchronous languages such as Esterel and ecl. Built on the suif 2 system, it includes a new intermediate representation fo...
136
click to vote
ICCAD
2009
IEEE
15 years 2 months ago
2009
IEEE
Current logic synthesis techniques are ineffective for arithmetic circuits. They perform poorly for XOR-dominated circuits, and those with a high fan-in dependency between inputs ...