1760 search results - page 136 / 352 » Program Analysis Using Weighted Pushdown Systems |
SEFM
2007
IEEE
15 years 7 months ago
2007
IEEE
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
102
click to vote
CONCURRENCY
1998
15 years 11 days ago
1998
Abstract Advances in high performance computing, communications, and user interfaces enable developers to construct increasingly interactive high performance applications. The Falc...
118
Voted
BMCBI
2005
15 years 17 days ago
2005
Background: Profile hidden Markov model (HMM) techniques are among the most powerful methods for protein homology detection. Yet, the critical features for successful modelling ar...
154
click to vote
CCGRID
2010
IEEE
15 years 1 months ago
2010
IEEE
Geo-sciences involve large-scale parallel models, high resolution real time data from highly asynchronous and heterogeneous sensor networks and instruments, and complex analysis a...
109
click to vote
CPHYSICS
2007
15 years 20 days ago
2007
During the last decade, several quantum information protocols, such as quantum key distribution, teleportation or quantum computation, have attracted a lot of interest. Despite th...