7430 search results - page 134 / 1486 » Programming Applications in CIFF |
SC
1992
ACM
15 years 2 months ago
1992
ACM
There are many metrics designed to assist in the performance debugging of large-scale parallel applications. We describe a new technique, called True Zeroing, that permits direct ...
DCOSS
2010
Springer
15 years 1 months ago
2010
Springer
This paper presents the uDSSP ("micro DSSP") programming model which simplifies the development of distributed sensor network applications that make use of complex in-net...
102
click to vote
ISCA
2012
IEEE
13 years 11 days ago
2012
IEEE
Efficient execution of well-parallelized applications is central to performance in the multicore era. Program analysis tools support the hardware and software sides of this effor...
BIRTHDAY
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. We present a general methodology for non-deterministic programming based on pure functional programming. We construct families of automata constructions which are used as...
PADL
2001
Springer
15 years 2 months ago
2001
Springer
The goal of this paper is to test if a programming methodology based on the declarative language A-Prolog and the systems for computing answer sets of such programs, can be succes...