308 search results - page 56 / 62 » Modular Verification of Interactive Systems with an Applicat... |
BMCBI
2010
14 years 11 months ago
2010
Background: The activity of proteins within the cell is characterized by their motions, flexibility, interactions or even the particularly intriguing case of partially unfolded st...
ASPLOS
2006
ACM
15 years 5 months ago
2006
ACM
While the number of transistors on a chip increases exponentially over time, the productivity that can be realized from these systems has not kept pace. To deal with the complexit...
103
click to vote
AIHC
2007
Springer
15 years 5 months ago
2007
Springer
Instinctive computing is a computational simulation of biological and cognitive instincts. It is a meta-program of life, just like universal gravity in nature. It profoundly influe...
DAC
2011
ACM
13 years 11 months ago
2011
ACM
Traditionally, biomolecular systems have been studied in ensemble. While much can be determined with ensemble measurements, scientific and technological interest is rapidly moving...
CAV
2008
Springer
15 years 1 months ago
2008
Springer
We consider an extension of integer linear arithmetic with a "star" operator takes closure under vector addition of the solution set of a linear arithmetic subformula. We...