5084 search results - page 781 / 1017 » Proving Possibility Properties |
145
click to vote
ASPLOS
2004
ACM
16 years 1 days ago
2004
ACM
Pipeline flushes are becoming increasingly expensive in modern microprocessors with large instruction windows and deep pipelines. Selective re-execution is a technique that can r...
154
click to vote
MMSEC
2004
ACM
16 years 1 days ago
2004
ACM
When a host image is watermarked multiple times by the same algorithm collisions can occur. This makes it difficult for an image to host multiple watermarks. But this hosting is n...
146
click to vote
SIGIR
2004
ACM
16 years 1 days ago
2004
ACM
Although text categorization is a burgeoning area of IR research, readily available test collections in this field are surprisingly scarce. We describe a methodology and system (...
178
click to vote
AMAST
2004
Springer
16 years 18 hour ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
196
click to vote
CBSE
2004
Springer
16 years 15 hour ago
2004
Springer
A crucial issue in the design of Component-Based (CB) applications is the ability to early guarantee that the system under development will satisfy its Quality of Service requireme...