13603 search results - page 398 / 2721 » On the Computational Complexity of Cut-Reduction |
200
click to vote
ICS
2010
Tsinghua U.
16 years 12 days ago
2010
Tsinghua U.
– Communication overhead is one of the dominant factors that affect performance in high-performance computing systems. To reduce the negative impact of communication, programmers...
212
click to vote
CAMP
2005
IEEE
16 years 1 months ago
2005
IEEE
Abstract— The promise of next-generation computer technologies, such as nano-electronics, implies a number of serious alterations to the design flow of digital circuits. One of ...
171
click to vote
SC
2000
ACM
15 years 12 months ago
2000
ACM
CardioWave is a modular system for simulating wavefront conduction in the heart. These simulations may be used to investigate the factors that generate and sustain life-threatenin...
164
click to vote
IAT
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract—In semantic matchmaking processes it is often useful, when the obtained match is not full, to provide explanations for the mismatch, to leverage further interaction and/...
209
click to vote
STOC
2007
ACM
16 years 8 months ago
2007
ACM
In this paper we prove tight bounds on the combinatorial and topological complexity of sets defined in terms of n definable sets belonging to some fixed definable family of sets i...