2702 search results - page 301 / 541 » Practically Applicable Formal Methods |
118
Voted
AC
2005
Springer
15 years 2 months ago
2005
Springer
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
101
Voted
TSMC
2008
15 years 2 months ago
2008
Given a genome, i.e., a long string over a fixed finite alphabet, the problem is to find short (dis)similar substrings. This computationally intensive task has many biological appl...
112
Voted
ICIP
2010
IEEE
15 years 22 days ago
2010
IEEE
The theory of compressed sensing has a natural application in interferometric aperture synthesis. As in many real-world applications, however, the assumption of random sampling, w...
132
Voted
ZUM
1991
Springer
15 years 6 months ago
1991
Springer
During 1990 and 1991 we carried out a survey of Z users in the UK; in this paper we present the results. Z is being used by a wide variety of companies for many different applicat...
235
click to vote
POPL
2007
ACM
16 years 3 months ago
2007
ACM
This paper proposes a lightweight fusion method for general recursive function definitions. Compared with existing proposals, our method has several significant practical features...