3671 search results - page 466 / 735 » On Garbage and Program Logic |
211
click to vote
CPAIOR
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. In recent work binary decision diagrams (BDDs) were introduced as a technique for postoptimality analysis for integer programming. In this paper we show that much smaller...
170
click to vote
IPPS
2006
IEEE
16 years 19 days ago
2006
IEEE
This paper presents a technique for memory optimization for a class of computations that arises in the field of correlated electronic structure methods such as coupled cluster and...
169
click to vote
SEUS
2005
IEEE
16 years 5 days ago
2005
IEEE
In this paper, we defined the concept of the grouped distributed objects[10-14], as a logical unit of distributed application service, and developed a distributed programming deve...
160
click to vote
ARTMED
2010
15 years 6 months ago
2010
Objective: The programming language Arden Syntax has been optimised for use in clinical decision support systems. We describe an extension of this language named Fuzzy Arden Synta...
303
click to vote
SOFTWARE
2011
15 years 1 months ago
2011
Developing parallel applications is notoriously difficult, but is even more complex for desktop applications. The added difficulties are primarily because of their interactive nat...