2752 search results - page 444 / 551 » Rounding to an Integral Program |
173
click to vote
WMPI
2004
ACM
15 years 11 months ago
2004
ACM
Abstract. In this paper, we propose a processor architecture with programmable on-chip memory for a high-performance SMP (symmetric multi-processor) node named SCIMA-SMP (Software ...
158
click to vote
CASSIS
2004
Springer
15 years 11 months ago
2004
Springer
The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML...
159
click to vote
CC
2004
Springer
15 years 11 months ago
2004
Springer
Although optimization technology has been successful over the past 40 years, recent trends are emerging that demand we reconsider the paradigm that we are using for code optimizati...
178
click to vote
CIA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Today’s software platforms that support the construction of agent systems in accordance with the FIPA specifications essentially provide enabling infrastructure servic...
173
click to vote
CSL
2004
Springer
15 years 11 months ago
2004
Springer
We consider the problem of providing formal support for working tract syntax involving variable binders. Gabbay and Pitts have shown in their work on Fraenkel-Mostowski (FM) set th...