Sciweavers

1292 search results - page 65 / 259
» A Designer's Guide to KEMs
Sort
View
HASE
2008
IEEE
13 years 8 months ago
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
Kohei Sakurai, Péter Bokor, Neeraj Suri
CCR
2007
85views more  CCR 2007»
13 years 8 months ago
Don't optimize existing protocols, design optimizable protocols
As networks grow in size and complexity, network management has become an increasingly challenging task. Many protocols have tunable parameters, and optimization is the process of...
Jiayue He, Jennifer Rexford, Mung Chiang
IJHCI
2006
95views more  IJHCI 2006»
13 years 8 months ago
Problem Prioritization in Usability Evaluation: From Severity Assessments Toward Impact on Design
Severity assessments enable prioritization of problems encountered during usability evaluations and thereby provide a device for guiding the utilization of design resources. Howeve...
Morten Hertzum
VLSID
2003
IEEE
78views VLSI» more  VLSID 2003»
14 years 8 months ago
Interface Design Techniques for Single-Chip Systems
This paper quantifies the performance of typical functional unit interface designs in single-chip systems. We introduce a specific equation to guide the design of optimal module i...
Robert H. Bell Jr., Lizy Kurian John
CEC
2009
IEEE
14 years 2 months ago
Evolutionary design of the energy function for protein structure prediction
— Automatic protein structure predictors use the notion of energy to guide the search towards good candidate structures. The energy functions used by the state-of-the-art predict...
Pawel Widera, Jonathan M. Garibaldi, Natalio Krasn...