Sciweavers

5064 search results - page 466 / 1013
» Recent Developments in Gridsolve
Sort
View
IACR
2011
120views more  IACR 2011»
14 years 6 months ago
Towards quantum-resistant cryptosystems from supersingular elliptic curve isogenies
We present new candidates for quantum-resistant public-key cryptosystems based on the conjectured difficulty of finding isogenies between supersingular elliptic curves. The main t...
David Jao, Luca De Feo
ASPDAC
2012
ACM
253views Hardware» more  ASPDAC 2012»
14 years 2 months ago
An integrated and automated memory optimization flow for FPGA behavioral synthesis
Behavioral synthesis tools have made significant progress in compiling high-level programs into register-transfer level (RTL) specifications. But manually rewriting code is still ...
Yuxin Wang, Peng Zhang, Xu Cheng, Jason Cong
FASE
2012
Springer
14 years 2 months ago
Integration Testing of Software Product Lines Using Compositional Symbolic Execution
Software product lines are families of products defined by feature commonality and variability, with a well-managed asset base. Recent work in testing of software product lines ha...
Jiangfan Shi, Myra B. Cohen, Matthew B. Dwyer
ISPD
2012
ACM
234views Hardware» more  ISPD 2012»
14 years 2 months ago
MAPLE: multilevel adaptive placement for mixed-size designs
We propose a new multilevel framework for large-scale placement called MAPLE that respects utilization constraints, handles movable macros and guides the transition between global...
Myung-Chul Kim, Natarajan Viswanathan, Charles J. ...
IUI
2012
ACM
14 years 2 months ago
Probabilistic pointing target prediction via inverse optimal control
Numerous interaction techniques have been developed that make “virtual” pointing at targets in graphical user interfaces easier than analogous physical pointing tasks by invok...
Brian D. Ziebart, Anind K. Dey, J. Andrew Bagnell