1710 search results - page 205 / 342 » High-Level Programs and Program Conditions |
179
click to vote
ISCA
2007
IEEE
16 years 22 days ago
2007
IEEE
Indirect branches have become increasingly common in modular programs written in modern object-oriented languages and virtualmachine based runtime systems. Unfortunately, the pred...
167
click to vote
PODC
2000
ACM
15 years 10 months ago
2000
ACM
Stampede is a parallel programming system to facilitate the programming of interactive multimedia applications on clusters of SMPs. In a Stampede application, a variable number of...
196
click to vote
KBSE
2005
IEEE
16 years 17 hour ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
171
click to vote
EACL
1993
ACL Anthology
15 years 7 months ago
1993
ACL Anthology
The strategy for natural language interpretation presented in this paper implements the dynamics of context change by translating natural language texts into a meaning representat...
191
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: MicroRNAs (miRNAs) are short, non-coding RNA molecules that are directly involved in post-transcriptional regulation of gene expression. The mature miRNA sequence bind...