6167 search results - page 217 / 1234 » Can Refinement be Automated |
144
click to vote
MICRO
2000
IEEE
15 years 9 months ago
2000
IEEE
Selective dynamic compilation systems, typically driven by annotations that identify run-time constants, can achieve significant program speedups. However, manually inserting ann...
164
click to vote
PG
2000
IEEE
15 years 9 months ago
2000
IEEE
In this paper a system is presented which automatically registers and stitches textures acquired from multiple photographic images onto the surface of a given corresponding 3D mod...
133
click to vote
DL
1999
Springer
15 years 9 months ago
1999
Springer
Existing web search engines provide users with the ability to query an off-line database of indices in order to decide on an entry point for further manual navigation. Results are...
134
click to vote
HICSS
1994
IEEE
15 years 9 months ago
1994
IEEE
Compensation is the process by which a committed transaction in a database is undone by running the semantic inverse of that transaction on the database. Compensation has been pro...
147
click to vote
CRYPTO
2006
Springer
15 years 8 months ago
2006
Springer
This paper presents the first automatic technique for proving not only protocols but also primitives in the exact security computational model. Automatic proofs of cryptographic pr...