Sciweavers

8499 search results - page 279 / 1700
» cans 2009
Sort
View
153
Voted
FPL
2009
Springer
120views Hardware» more  FPL 2009»
15 years 11 months ago
Using 3D integration technology to realize multi-context FPGAs
This paper advocates the use of 3D integration technology to stack a DRAM on top of an FPGA. The DRAM will store future FPGA contexts. A configuration is read from the DRAM into a...
Alessandro Cevrero, Panagiotis Athanasopoulos, Had...
ESIAT
2009
IEEE
15 years 4 months ago
Research of Shrapnel-Pill Dispersing Blind Area's Influence on Damage Effectiveness
In the past, we evaluated the damage effectiveness of shrapnel pill without considering the dispersing blind area. Research and experiment show that dispersing dead area of shrapne...
Guo-Hua Su, Qi Yang, Ping Cui, Ming-Hai Wang
DASFAA
2009
IEEE
136views Database» more  DASFAA 2009»
16 years 1 months ago
A Two-Tire Index Structure for Approximate String Matching with Block Moves
Many applications need to solve the problem of approximate string matching with block moves. It is an NP-Complete problem to compute block edit distance between two strings. Our go...
Bin Wang, Long Xie, Guoren Wang
SP
2009
IEEE
114views Security Privacy» more  SP 2009»
16 years 1 months ago
Formally Certifying the Security of Digital Signature Schemes
We present two machine-checked proofs of the existential unforgeability under adaptive chosen-message attacks of the Full Domain Hash signature scheme. These proofs formalize the ...
Santiago Zanella Béguelin, Gilles Barthe, B...
AI
2009
Springer
16 years 1 months ago
Enhancing the Bilingual Concordancer TransSearch with Word-Level Alignment
Despite the impressive amount of recent studies devoted to improving the state of the art of Machine Translation (MT), Computer Assisted Translation (CAT) tools remain the preferre...
Julien Bourdaillet, Stéphane Huet, Fabrizio...