Sciweavers

1729 search results - page 45 / 346
» Deterministic Expressions in C
Sort
View
POPL
2003
ACM
16 years 4 days ago
Discovering affine equalities using random interpretation
We present a new polynomial-time randomized algorithm for discovering affine equalities involving variables in a program. The key idea of the algorithm is to execute a code fragme...
Sumit Gulwani, George C. Necula
BMCBI
2005
83views more  BMCBI 2005»
14 years 11 months ago
Genome-wide estimation of gender differences in the gene expression of human livers: Statistical design and analysis
Background: Gender differences in gene expression were estimated in liver samples from 9 males and 9 females. The study tested 31,110 genes for a gender difference using a design ...
Robert R. Delongchamp, Cruz Velasco, Stacey Dial, ...
CASES
2006
ACM
15 years 5 months ago
Syntax-driven implementation of software programming language control constructs and expressions on FPGAs
This paper considers the efficient parallel implementation of control constructs and expressions written in a common software programming language and synthesised to FPGA platform...
Neil C. Audsley, Michael Ward
CMSB
2009
Springer
15 years 6 months ago
Modelling Biological Clocks with Bio-PEPA: Stochasticity and Robustness for the Neurospora crassa Circadian Network
Circadian clocks are biochemical networks, present in nearly all living organisms, whose function is to regulate the expression of specific mRNAs and proteins to synchronise rhyth...
Ozgur E. Akman, Federica Ciocchetta, Andrea Degasp...
CHARME
2003
Springer
73views Hardware» more  CHARME 2003»
15 years 3 months ago
Towards Diagrammability and Efficiency in Event Sequence Languages
Industrial verification teams are actively developing suitable event sequence languages for hardware verification. Such languages must be expressive, designer friendly, and hardwar...
Kathi Fisler