877 search results - page 156 / 176 » Full Abstraction for HOPLA |
98
Voted
ICSE
2008
IEEE-ACM
16 years 18 days ago
2008
IEEE-ACM
The design and implementation of the reconstruction system in medical X-ray imaging is a challenging issue due to its immense computational demands. In order to ensure an efficien...
118
click to vote
SIGSOFT
2003
ACM
16 years 16 days ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
122
click to vote
CADE
2009
Springer
16 years 12 days ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
RECOMB
2007
Springer
16 years 3 days ago
2007
Springer
Abstract. Given the substantial computational requirements of stochastic simulation, approximation is essential for efficient analysis of any realistic biochemical system. This pap...
101
click to vote
RECOMB
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Protein-protein interactions play a major role in most cellular processes. Thus, the challenge of identifying the full repertoire of interacting proteins in the cell is o...