3441 search results - page 457 / 689 » Parallel Logic Programming Systems |
122
click to vote
CONCUR
2007
Springer
15 years 11 months ago
2007
Springer
The notion of innocent strategy was introduced by Hyland and Ong in order to capture the interactive behaviour of λ-terms and PCF programs. An innocent strategy is defined as an ...
168
click to vote
FSTTCS
2010
Springer
15 years 2 months ago
2010
Springer
Streaming string transducers [1] define (partial) functions from input strings to output strings. A streaming string transducer makes a single pass through the input string and us...
154
click to vote
CPHYSICS
2006
15 years 5 months ago
2006
A new stochastic method for locating the global minimum of a multidimensional function inside a rectangular hyperbox is presented. A sampling technique is employed that makes use ...
141
Voted
IPPS
2003
IEEE
15 years 10 months ago
2003
IEEE
As computing systems of all types grow in power and complexity, it is common to want to simultaneously execute processes with different timeliness constraints. Many systems use CP...
281
click to vote
PLDI
2009
ACM
16 years 5 months ago
2009
ACM
High-level languages are growing in popularity. However, decades of C software development have produced large libraries of fast, timetested, meritorious code that are impractical...