6147 search results - page 994 / 1230 » Requirements, Architectures and Risks |
191
click to vote
FC
2000
Springer
15 years 10 months ago
2000
Springer
Auditability is an important property in nancial systems and architectures. Here we de ne the primitive of blind auditable membership proof" BAMP which combines public auditab...
198
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmi...
217
click to vote
FPGA
2000
ACM
15 years 10 months ago
2000
ACM
In this paper we introduce a new Simulated Annealingbased timing-driven placement algorithm for FPGAs. This paper has three main contributions. First, our algorithm employs a nove...
216
click to vote
HIPC
2000
Springer
15 years 10 months ago
2000
Springer
Many scientific applications manipulate large amount of data and, therefore, are parallelized on high-performance computing systems to take advantage of their computational power a...
195
click to vote
INTERWORKING
2000
15 years 10 months ago
2000
The Internet Engineering Task Force (IETF) is currently working on the development of Differentiated Services (DiffServ). DiffServ seems to be a promising technology for next-gene...