8828 search results - page 1328 / 1766 » Formal methods in practice |
207
click to vote
ETFA
2008
IEEE
16 years 1 months ago
2008
IEEE
When trying to track down bugs using cyclic debugging, the ability to correctly reproduce executions is imperative. In sequential, deterministic, non-real-time software, this repr...
167
click to vote
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
Data stream methods look at each new item of the stream, perform a small number of operations while keeping a small amount of memory, and still perform muchneeded analyses. Howeve...
169
click to vote
TASE
2007
IEEE
16 years 1 months ago
2007
IEEE
Bounded model checking (BMC) based on SAT has been introduced as a complementary method to BDD-based symbolic model checking of LTL and ACTL properties in recent years. For genera...
192
click to vote
TLCA
2005
Springer
16 years 16 days ago
2005
Springer
In a series of articles, we developed a method to translate general recursive functions written in a functional programming style into constructive type theory. Three problems rema...
208
click to vote
PLDI
2004
ACM
16 years 14 days ago
2004
ACM
Region-based memory management offers several important potential advantages over garbage collection, including real-time performance, better data locality, and more efficient us...