1596 search results - page 44 / 320 » Quantum property testing |
108
click to vote
PSTV
1993
15 years 2 months ago
1993
We present a new algorithm that can be used for solving the model−checking problem for linear−time temporal logic. This algorithm can be viewed as the combination of two exist...
123
Voted
OL
2011
14 years 3 months ago
2011
In this paper we present a methodology for finding tight convex relaxations for a special set of quadratic constraints given by bilinear and linear terms that frequently arise in ...
124
Voted
ICSE
2003
IEEE-ACM
16 years 27 days ago
2003
IEEE-ACM
Software system faults are often caused by unexpected interactions among components. Yet the size of a test suite required to test all possible combinations of interactions can be...
105
Voted
VLSID
2005
IEEE
16 years 1 months ago
2005
IEEE
Abstract-- We present two-dimensional (space/time) compression techniques that reduce test data volume and test application time for scan testing of intellectual property (IP) core...
127
click to vote
EUROCRYPT
2012
Springer
13 years 3 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 ...