9626 search results - page 1344 / 1926 » Invariant Based Programming |
179
click to vote
ICCAD
2004
IEEE
16 years 4 months ago
2004
IEEE
Microfluidics-based biochips offer a promising platform for massively parallel DNA analysis, automated drug discovery, and real-time biomolecular recognition. Current techniques f...
189
click to vote
SAC
2010
ACM
16 years 2 months ago
2010
ACM
During the last decade, software transactional memory (STM) gained wide popularity in many areas of parallel computing. In this paper, we introduce LISP-derived language equipped ...
217
click to vote
WEA
2010
Springer
16 years 2 months ago
2010
Springer
This paper is devoted to a study of the impact of using bound sets in biobjective optimization. This notion, introduced by Villareal and Karwan [19], has been independently revisit...
173
click to vote
HICSS
2009
IEEE
16 years 2 months ago
2009
IEEE
In the current state of practice, security properties of software systems are typically assessed through subjective, labor-intensive human evaluation. Moreover, much of the quanti...
154
click to vote
DAC
2009
ACM
16 years 2 months ago
2009
ACM
Endosymbiotic Computing entails attaching an RF-enabled microcontroller module (endomodule) to an appliance such that it appears as a networked device in the cyber world. It enabl...