6608 search results - page 1179 / 1322 » On the Completeness of Model Checking |
134
click to vote
ISCA
1995
IEEE
15 years 7 months ago
1995
IEEE
The PowerPC 620TM microprocessor1 is the most recent and performance leading member of the PowerPCTM family. The 64-bit PowerPC 620 microprocessor employs a two-phase branch predi...
137
Voted
UIST
1995
ACM
15 years 7 months ago
1995
ACM
We introduce a new genre of user interface applications that can migrate from one machine to another, taking their user interface and application contexts with them, and continue ...
144
click to vote
ASIACRYPT
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Public-key encryption schemes rely for their IND-CPA security on per-message fresh randomness. In practice, randomness may be of poor quality for a variety of reasons, le...
119
click to vote
SCA
2007
15 years 6 months ago
2007
We propose a method to automatically transform mesh animations into animation collages, i.e. moving assemblies of shape primitives from a database given by an artist. An animation...
121
click to vote
AAAI
2008
15 years 6 months ago
2008
Most algorithms for computing diagnoses within a modelbased diagnosis framework are deterministic. Such algorithms guarantee soundness and completeness, but are P 2 hard. To overc...