Sciweavers

1835 search results - page 110 / 367
» Functional Programming of Behavior-Based Systems
Sort
View
EUROPAR
1998
Springer
15 years 9 months ago
Net-dbx: A Java Powered Tool for Interactive Debugging of MPI Programs Across the Internet
This paper describes Net-dbx, a tool that utilizes Java and other WWW tools for the debugging of MPI programs from anywhere in the Internet. Net-dbx is a source level interactive d...
Neophytos Neophytou, Paraskevas Evripidou
CCGRID
2010
IEEE
15 years 5 months ago
Streamflow Programming Model for Data Streaming in Scientific Workflows
Geo-sciences involve large-scale parallel models, high resolution real time data from highly asynchronous and heterogeneous sensor networks and instruments, and complex analysis a...
Chathura Herath, Beth Plale
DAC
2002
ACM
16 years 5 months ago
An integer linear programming based approach for parallelizing applications in On-chip multiprocessors
With energy consumption becoming one of the first-class optimization parameters in computer system design, compilation techniques that consider performance and energy simultaneous...
Ismail Kadayif, Mahmut T. Kandemir, Ugur Sezer
ILP
2004
Springer
15 years 10 months ago
Learning an Approximation to Inductive Logic Programming Clause Evaluation
One challenge faced by many Inductive Logic Programming (ILP) systems is poor scalability to problems with large search spaces and many examples. Randomized search methods such as ...
Frank DiMaio, Jude W. Shavlik
AFP
2004
Springer
105views Formal Methods» more  AFP 2004»
15 years 10 months ago
Epigram: Practical Programming with Dependent Types
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...
Conor McBride