10435 search results - page 1855 / 2087 » Computational Biology and Language |
212
click to vote
EMSOFT
2004
Springer
16 years 2 days ago
2004
Springer
Data flow process networks are a good model of computation for streaming multimedia applications incorporating audio, video and/or graphics streams. Process networks are concurre...
170
click to vote
ICTAC
2004
Springer
16 years 2 days ago
2004
Springer
We give an inductive method for proving weak innermost termination of rule-based programs, from which we automatically infer, for each successful proof, a finite strategy for data...
169
click to vote
IWMM
2004
Springer
16 years 1 days ago
2004
Springer
Many state-of-the-art garbage collectors are generational, collecting the young nursery objects more frequently than old objects. These collectors perform well because young objec...
178
click to vote
ACMICEC
2003
ACM
15 years 12 months ago
2003
ACM
Multi-organizational EDI message networks are complicated communication environments with various standards and technologies. The role of third party message exchange hubs has bec...
196
click to vote
PLDI
2003
ACM
15 years 12 months ago
2003
ACM
We propose a low-overhead sampling infrastructure for gathering information from the executions experienced by a program’s user community. Several example applications illustrat...