1620 search results - page 41 / 324 » Testing Polymorphic Properties |
143
click to vote
EUROCRYPT
2012
Springer
13 years 4 months ago
2012
Springer
Abstract. Processing on encrypted data is a subject of rich investigation. Several new and exotic encryption schemes, supporting a diverse set of features, have been developed for ...
108
click to vote
DAGSTUHL
2006
15 years 3 months ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
ICMENS
2003
IEEE
15 years 7 months ago
2003
IEEE
crystallographic results were made available through the Protein Data Bank (PDB) (entries: ITUB and IJFF) which allowed us to view the 3D atomic resolution structure oftubulin. (se...
160
Voted
VLSID
2010
IEEE
15 years 7 days ago
2010
IEEE
Directed test generation is important for the functional verification of complex system-on-chip designs. SAT based bounded model checking is promising for counterexample generatio...
99
Voted
STOC
2009
ACM
16 years 3 months ago
2009
ACM
We initiate a systematic study of a special type of property testers. These testers consist of repeating a basic test for a number of times that depends on the proximity parameter...