433 search results - page 73 / 87 » Contracts: From Analysis to C Implementation |
BMCBI
2006
14 years 9 months ago
2006
Background: Simulation of DNA-microarray data serves at least three purposes: (i) optimizing the design of an intended DNA microarray experiment, (ii) comparing existing pre-proce...
83
Voted
CAD
2006
Springer
14 years 9 months ago
2006
Springer
This paper presents a new unified subdivision scheme that is defined over a k-simplicial complex in n-D space with k 3. We first present a series of definitions to facilitate top...
84
Voted
PLDI
2011
ACM
14 years 16 days ago
2011
ACM
Exploiting today’s multiprocessors requires highperformance and correct concurrent systems code (optimising compilers, language runtimes, OS kernels, etc.), which in turn requir...
128
click to vote
EUROSYS
2011
ACM
14 years 1 months ago
2011
ACM
Mobile applications are becoming increasingly ubiquitous and provide ever richer functionality on mobile devices. At the same time, such devices often enjoy strong connectivity wi...
WWW
2009
ACM
15 years 10 months ago
2009
ACM
Motivated by the emergence of auction-based marketplaces for display ads such as the Right Media Exchange, we study the design of a bidding agent that implements a display adverti...