3522 search results - page 317 / 705 » Incremental physical design |
194
click to vote
RTAS
2006
IEEE
16 years 24 days ago
2006
IEEE
We present an assume-guarantee interface algebra for real-time components. In our formalism a component implements a set of task sequences that share a resource. A component inter...
176
click to vote
SAC
2006
ACM
16 years 22 days ago
2006
ACM
With the development of Internet-based business, Web applications are becoming increasingly complex. The J2EE specification aims at enabling the design of such web application ser...
161
click to vote
CIKM
2005
Springer
16 years 10 days ago
2005
Springer
We examine issues in the design of fully dynamic information retrieval systems with support for instantaneous document insertions and deletions. We present one such system and dis...
184
click to vote
FPGA
2005
ACM
16 years 9 days ago
2005
ACM
Logic duplication is an effective method for improving circuit performance. In this paper we present an algorithm named SPD that performs simultaneous placement and duplication to...
180
Voted
HVC
2005
Springer
16 years 9 days ago
2005
Springer
We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and ...