Sciweavers

6149 search results - page 1135 / 1230
» Revealing the programming process
Sort
View
TVLSI
2010
14 years 10 months ago
Pattern Sensitive Placement Perturbation for Manufacturability
The gap between VLSI technology and fabrication technology leads to strong refractive effects in lithography. Consequently, it is a huge challenge to reliably print layout features...
Shiyan Hu, Patrik Shah, Jiang Hu
VLSI
2010
Springer
14 years 10 months ago
SESAM extension for fast MPSoC architectural exploration and dynamic streaming applications
Future systems will have to support multiple and concurrent dynamic compute-intensive applications, while respecting real-time and energy consumption constraints. To overcome these...
Nicolas Ventroux, Tanguy Sassolas, Raphael David, ...
147
Voted
CORR
2011
Springer
166views Education» more  CORR 2011»
14 years 7 months ago
A Personalized System for Conversational Recommendations
Searching for and making decisions about information is becoming increasingly difficult as the amount of information and number of choices increases. Recommendation systems help ...
Mehmet H. Göker, Pat Langley, Cynthia A. Thom...
CORR
2011
Springer
175views Education» more  CORR 2011»
14 years 7 months ago
Extracting and Verifying Cryptographic Models from C Protocol Code by Symbolic Execution
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descripti...
Mihhail Aizatulin, Andrew D. Gordon, Jan Jürj...
ICDE
2011
IEEE
225views Database» more  ICDE 2011»
14 years 7 months ago
Methods for boosting recommender systems
—Online shopping has grown rapidly over the past few years. Besides the convenience of shopping directly from ones home, an important advantage of e-commerce is the great variety...
Rubi Boim, Tova Milo
« Prev « First page 1135 / 1230 Last » Next »