1411 search results - page 129 / 283 » A Value Analysis for C Programs |
131
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: With the advent of metabolomics as a powerful tool for both functional and biomarker discovery, the identification of specific differences between complex metabolite p...
153
click to vote
APSCC
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--The inadequate quality of context forces the context consumers in pervasive environments to reason about the quality and relevance of context to be confident of its worth...
104
click to vote
IFIP
1999
Springer
15 years 8 months ago
1999
Springer
: This paper presents a synthesis algorithm for pipelined circuits. The circuit is specified as a collection of independent, looselycoupled modules connected by queues. The synthe...
119
click to vote
POPL
1997
ACM
15 years 8 months ago
1997
ACM
We investigateparametric polymorphism in message-basedconcurrentprogramming, focusing on behavioral equivalences in a typed process calculus analogous to the polymorphic lambdacal...
116
click to vote
IFIP
2000
Springer
15 years 8 months ago
2000
Springer
We consider two software packages that interact with each other as components: Overture and PETSc. An interface between these two packages could be of tremendous value to applicati...