7430 search results - page 325 / 1486 » Programming Applications in CIFF |
148
click to vote
IPPS
2000
IEEE
15 years 9 months ago
2000
IEEE
Cellular automata can be used to design high-performance natural solvers on parallel computers. This paper describes the development of applications using CARPET, a high-level prog...
135
click to vote
IPPS
1998
IEEE
15 years 9 months ago
1998
IEEE
Efficient performance tuning of parallel programs is often hard. In this paper we describe an approach that uses a uni-processor execution of a multithreaded program as reference ...
137
click to vote
KBSE
1997
IEEE
15 years 9 months ago
1997
IEEE
Proofs in the Nuprl system, an implementation of a constructive type theory, yield “correct-by-construction” programs. In this paper a new methodology is presented for extract...
141
click to vote
ICPADS
1996
IEEE
15 years 9 months ago
1996
IEEE
A new multiagent programmingparadigm based on the transactional logic model' is developed. This paradigm enables us to construct a Distributed agent transactional program (DA...
147
Voted
ALP
1994
Springer
15 years 9 months ago
1994
Springer
Abstract. We introduce a compositional characterization of the operational semantics of equational Horn programs. Then we show that this semantics and the standard operational sema...