7167 search results - page 292 / 1434 » A Technique for Invariant Generation |
237
Voted
IDEAS
2005
IEEE
16 years 1 months ago
2005
IEEE
Testing of database applications is of great importance. A significant issue in database application testing consists in the availability of representative data. In this paper we...
183
Voted
KBSE
2005
IEEE
16 years 1 months ago
2005
IEEE
Visual Languages (VLs) play an important role in software system development. Especially when looking at well-defined domains, a broad variety of domain specific visual language...
242
click to vote
SBCCI
2005
ACM
16 years 1 months ago
2005
ACM
Higher integration densities, smaller feature lengths, and other technology advances, as well as architectural evolution, have made microprocessor cores exceptionally complex. Cur...
190
click to vote
IMA
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. The asymptotic security of the Blum-Blum-Shub (BBS) pseudorandom generator has been studied by Alexi et al. and Vazirani and Vazirani, who proved independently that O(log...
180
click to vote
IWMM
2004
Springer
16 years 24 days ago
2004
Springer
We document the design and implementation of a “production” incremental garbage collector for GHC 6.2. It builds on our earlier work (Non-stop Haskell) that exploited GHC’s ...