1557 search results - page 180 / 312 » Programming up to Congruence |
JCC
2007
14 years 11 months ago
2007
Abstract: A new parallel algorithm has been developed for calculating the analytic energy derivatives of full accuracy second order Møller-Plesset perturbation theory (MP2). Its m...
109
click to vote
CONCURRENCY
1998
14 years 11 months ago
1998
The JPVM library is a software system for explicit message-passing based distributed memory MIMD parallel programming in Java. The library supports an interface similar to the C a...
108
click to vote
TCAD
2002
14 years 11 months ago
2002
The objective of this work is to create a framework for the optimization of embedded software. We present algorithms and a tool flow to reduce the computational effort of programs,...
FUIN
2010
14 years 9 months ago
2010
Abstract. Current methods for solving games embody a form of “procedural rationality” that invites logical analysis in its own right. This paper is a brief case study of Backwa...
KBSE
2010
IEEE
14 years 9 months ago
2010
IEEE
We present the concepts, usage, and prototypic implementation of a new kind of visual debugging tool based on symbolic execution of Java source code called visual symbolic state d...