4036 search results - page 182 / 808 » Formal Methods |
121
click to vote
TLDI
2009
ACM
16 years 3 months ago
2009
ACM
Syntax Arthur Baars Doaitse Swierstra Technical Report UU-CS-2008-021 July 2008 Department of Information and Computing Sciences Utrecht University, Utrecht, The Netherlands www.cs...
142
click to vote
FMICS
2009
Springer
16 years 1 months ago
2009
Springer
In joint work with Cristiano Calcagno, Peter O’Hearn, and Hongseok Yang, we have introduced bi-abductive inference and its use in reasoning about heap manipulating programs [5]. ...
144
click to vote
SBMF
2009
Springer
16 years 1 months ago
2009
Springer
Types Hongwei Xi Boston University Work partly funded by NSF grants no. CCR-0229480 and no. CCF-0702665 and General Theoretical Account for Abstract Types – p.1/20
175
click to vote
MEMOCODE
2008
IEEE
16 years 26 days ago
2008
IEEE
Abstract: We present an implementation of a highthroughput cryptosorter, capable of sorting an encrypted database of eight megabytes in .15 seconds; 1102 times faster than a softwa...
145
click to vote
SAS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We introduce Banshee, a toolkit for constructing constraintbased analyses. Banshee’s novel features include a code generator for creating customized constraint resoluti...