Sciweavers

2409 search results - page 102 / 482
» Building Components from Functions
Sort
View
SAT
2010
Springer
158views Hardware» more  SAT 2010»
14 years 2 months ago
Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT
Abstract. We introduce a new conceptual model for representing and designing Stochastic Local Search (SLS) algorithms for the propositional satisfiability problem (SAT). Our model...
Dave A. D. Tompkins, Holger H. Hoos
JODL
2006
116views more  JODL 2006»
13 years 10 months ago
Appearance and functionality of electronic books
We present the results and the lessons learned from two separate and independent studies into the design, development, and evaluation of electronic books for information access: th...
Fabio Crestani, Monica Landoni, Massimo Melucci
ESCIENCE
2006
IEEE
14 years 4 months ago
Managing Large-Scale Workflow Execution from Resource Provisioning to Provenance Tracking: The CyberShake Example
This paper discusses the process of building an environment where large-scale, complex, scientific analysis can be scheduled onto a heterogeneous collection of computational and s...
Ewa Deelman, Scott Callaghan, Edward Field, Hunter...
HOST
2009
IEEE
14 years 2 months ago
Reconfigurable Physical Unclonable Functions -- Enabling Technology for Tamper-Resistant Storage
A PUF or Physical Unclonable Function is a function that is embodied in a physical structure that consists of many random uncontrollable components which originate from process var...
Klaus Kursawe, Ahmad-Reza Sadeghi, Dries Schelleke...
GLVLSI
2003
IEEE
140views VLSI» more  GLVLSI 2003»
14 years 4 months ago
Exploiting multiple functionality for nano-scale reconfigurable systems
It is likely that it will become increasingly difficult to manufacture the complex, heterogeneous logic structures that characterise current reconfigurable logic systems. As a res...
Paul Beckett