Sciweavers

4880 search results - page 137 / 976
» Manuals as Structured Programs
Sort
View
129
Voted
IPPS
2007
IEEE
15 years 9 months ago
iC2mpi: A Platform for Parallel Execution of Graph-Structured Iterative Computations
Parallelization of sequential programs is often daunting because of the substantial development cost involved. Various solutions have been proposed to address this concern, includ...
Harnish Botadra, Qiong Cheng, Sushil K. Prasad, Er...
148
Voted
NGC
1998
Springer
171views Communications» more  NGC 1998»
15 years 3 months ago
Programming Languages for Distributed Applications
Much progress has been made in distributed computing in the areas of distribution structure, open computing, fault tolerance, and security. Yet, writing distributed applications r...
Seif Haridi, Peter Van Roy, Per Brand, Christian S...
139
Voted
AAAI
2012
13 years 5 months ago
Planning in Factored Action Spaces with Symbolic Dynamic Programming
We consider symbolic dynamic programming (SDP) for solving Markov Decision Processes (MDP) with factored state and action spaces, where both states and actions are described by se...
Aswin Raghavan, Saket Joshi, Alan Fern, Prasad Tad...
108
Voted
INAP
2005
Springer
15 years 9 months ago
Using a Logic Programming Language with Persistence and Contexts
Abstract. This article merges two approaches: one dealing with persistence for logic programs, as provided by a relational database back-end and another which addresses the issues ...
Salvador Abreu, Vítor Nogueira
ICSE
2005
IEEE-ACM
16 years 3 months ago
Demand-driven structural testing with dynamic instrumentation
Producing reliable and robust software has become one of the most important software development concerns in recent years. Testing is a process by which software quality can be as...
Jonathan Misurda, James A. Clause, Juliya L. Reed,...