6306 search results - page 259 / 1262 » Space, Time, and the Use of Language |
203
click to vote
ICALP
1994
Springer
15 years 11 months ago
1994
Springer
When provingthe correctness of algorithmsin distributed systems, one generally considers safety conditions and liveness conditions. The Input Output I O automaton model and its ti...
206
click to vote
MEMOCODE
2003
IEEE
16 years 16 days ago
2003
IEEE
In this paper, we present a technique for determining tight bounds on the execution time of assembler programs. Thus, our method is independent of the design flow, but takes into...
191
click to vote
NIPS
2008
15 years 8 months ago
2008
Before the age of 4 months, infants make inductive inferences about the motions of physical objects. Developmental psychologists have provided verbal accounts of the knowledge tha...
189
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
As heterogeneous parallel systems become dominant, application developers are being forced to turn to an incompatible mix of low level programming models (e.g. OpenMP, MPI, CUDA, ...
176
click to vote
IJCNLP
2004
Springer
16 years 19 days ago
2004
Springer
We study the problem of efficiently removing equal frequency n-gram substrings from an n-gram set, formally called Statistical Substring Reduction (SSR). SSR is a useful operatio...