5314 search results - page 356 / 1063 » Hybrid Dynamic Programming |
173
click to vote
CEFP
2005
Springer
16 years 6 days ago
2005
Springer
In these lecture notes we present a novel toolkit to program web applications with that have dynamic, complex behavior based on interconnect forms. This toolkit is the iData Toolki...
192
click to vote
IPPS
2003
IEEE
15 years 12 months ago
2003
IEEE
SBT is portable library and tool for on-line debugging and performance monitoring of shared-memory parallel programs using the single-program-multiple-data (SPMD) model of paralle...
178
click to vote
DCW
2000
Springer
15 years 11 months ago
2000
Springer
Intensional Programming involves the programming of expressions placed in an inherent multidimensional context space. It is an emerging and highly dynamic domain of general applica...
161
click to vote
PLDI
1998
ACM
15 years 11 months ago
1998
ACM
A module system ought to enable assembly-line programming using separate compilation and an expressive linking language. Separate compilation allows programmers to develop parts o...
224
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract: There is growing need to develop formal verification tools for Message Passing Interface (MPI) programs, to eliminate bugs such as deadlocks and local assertion violatio...