1729 search results - page 42 / 346 » Deterministic Expressions in C |
BMCBI
2005
14 years 11 months ago
2005
Background: cDNA microarray technology has emerged as a major player in the parallel detection of biomolecules, but still suffers from fundamental technical problems. Identifying ...
111
click to vote
JUCS
2010
14 years 10 months ago
2010
: We consider the problem of efficiently evaluating a large number of XPath expressions, especially in the case when they define subscriber profiles for filtering of XML documen...
BMCBI
2008
14 years 12 months ago
2008
ent> <title> <p>UT-ORNL-KBRIN Bioinformatics Summit 2008</p> </title> <editor>Eric C Rouchka and Julia Krushkal</editor> <note>Meeting ...
118
click to vote
MICRO
2007
IEEE
15 years 6 months ago
2007
IEEE
The emergence of multicore processors has heightened the need for effective parallel programming practices. In addition to writing new parallel programs, the next generation of pr...
113
click to vote
DAC
2003
ACM
16 years 23 days ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...