1159 search results - page 67 / 232 » On The Next Move in Programming |
83
Voted
ENTCS
2007
15 years 14 days ago
2007
The implementation of conceptually continuous signals in functional reactive programming (FRP) is studied in detail. We show that recursive signals in standard implementations usi...
114
Voted
ERSHOV
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We present an algorithm for generating all polynomial invariants of Psolvable loops with assignments and nested conditionals. We prove termination of our algorithm. The p...
84
Voted
TBILLC
2005
Springer
15 years 6 months ago
2005
Springer
We implement the extension of the logical consequence relation to a partial order ≤ on arbitary types built from e (entities) and t (Booleans) that was given in [1], and the deï...
93
Voted
EUROPAR
2007
Springer
15 years 4 months ago
2007
Springer
How can sequential applications benefit from the ubiquitous next generation of chip multiprocessors (CMP)? Part of the answer may be a dynamic execution environment that automatica...
74
Voted
NAACL
1994
15 years 1 months ago
1994
Development has begun on a semantic evaluation (SemEval) methodology and infrastructure for the ARPA Spoken Language Program. SemEval is an attempt to define a task-independent te...