4166 search results - page 394 / 834 » A modular module system |
183
click to vote
PATMOS
2005
Springer
16 years 8 days ago
2005
Springer
This paper presents a modular optimization framework for custom digital circuits in the power – performance space. The method uses a static timer and a nonlinear optimizer to max...
178
click to vote
ASPLOS
2004
ACM
16 years 6 days ago
2004
ACM
Recent studies have suggested that the soft-error rate in microprocessor logic will become a reliability concern by 2010. This paper proposes an efficient error detection techniqu...
174
click to vote
ECOOP
2004
Springer
16 years 5 days ago
2004
Springer
Today’s mainstream object-oriented compilers and tools do not support declaring and statically checking simple pre- and postconditions on methods and invariants on object represe...
197
click to vote
ICSOC
2004
Springer
16 years 4 days ago
2004
Springer
Over the last few years several process-based web service composition languages have emerged, such as BPEL4WS and BPML. These languages define the composition on the basis of a pr...
186
click to vote
CCGRID
2003
IEEE
16 years 2 days ago
2003
IEEE
Clusters are now composed of non-uniform nodes with different CPUs, disks or network cards so that customers can adapt the cluster configuration to the changing technologies and t...