7195 search results - page 486 / 1439 » On Computing Power |
176
click to vote
ICPP
2007
IEEE
16 years 1 months ago
2007
IEEE
High performance clusters have been widely used to provide amazing computing capability for both commercial and scientific applications. However, huge power consumption has preven...
189
click to vote
EGPGV
2004
Springer
16 years 10 days ago
2004
Springer
Data coming from complex simulation models reach easily dimensions much greater than available computational resources. Visualization of such data still represents the most intuit...
171
click to vote
CIE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Let Fq be a finite field with q elements. We produce an (effective) elimination of quantifiers for the structure of the set of polynomials, Fq[t], of one variable, in...
171
click to vote
CONCUR
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. We exploit a notion of interface for Petri nets in order to design a set of net combinators. For such a calculus of nets, we focus on the behavioural congruences arising ...
168
click to vote
FLAIRS
2004
15 years 8 months ago
2004
What makes a good consistency ? Depending on the constraint, it may be a good pruning power or a low computational cost. By "weakening" arc-consistency, we propose to de...