7080 search results - page 1050 / 1416 » Designing High Integrity Systems Using Aspects |
155
click to vote
JAR
2006
15 years 4 months ago
2006
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
145
click to vote
IV
2008
IEEE
15 years 11 months ago
2008
IEEE
With the increased usage of the Web and its availability of data, various scholarly information is now available on the Web. Extraction, aggregation, and visualization of such inf...
120
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
—With the motivation of using more information to update the parameter estimates to achieve improved tracking performance, composite adaptation that uses both the system tracking...
131
click to vote
CC
2004
Springer
15 years 10 months ago
2004
Springer
Although optimization technology has been successful over the past 40 years, recent trends are emerging that demand we reconsider the paradigm that we are using for code optimizati...
148
click to vote
APCCAS
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper, we develop a robust bit-plane watermarking technique based on zerotree coding. A robust watermark is an imperceptible but indelible code that can be used for owners...