Sciweavers

388 search results - page 50 / 78
» Talking in the Library: Implications for the Design of Digit...
Sort
View
DATE
2006
IEEE
96views Hardware» more  DATE 2006»
14 years 3 months ago
Multi-sensor configurable platform for automotive applications
This paper presents a configurable and generic platform architecture suitable to interface several kinds of sensors for automotive applications. A platform-based design approach i...
L. Serafini, F. Carrai, T. Ramacciotti, V. Zolesi
FMCAD
2007
Springer
14 years 28 days ago
Circuit Level Verification of a High-Speed Toggle
As VLSI fabrication technology progresses to 65nm feature sizes and smaller, transistors no longer operate as ideal switches. This motivates verifying digital circuits using contin...
Chao Yan, Mark R. Greenstreet
JCDL
2005
ACM
84views Education» more  JCDL 2005»
14 years 2 months ago
Turning the page on navigation
In this paper, we discuss the findings of an in-depth observational study of reading and within-document navigation and add to these findings the results of a second analysis of h...
Catherine C. Marshall, Sara A. Bly
CONCURRENCY
2007
118views more  CONCURRENCY 2007»
13 years 9 months ago
Design and implementation issues for distributed CCA framework interoperability
Component frameworks, including those that support the Common Component Architecture (CCA), represent a promising approach to addressing this challenge, one that is being realized...
Madhusudhan Govindaraju, Michael J. Lewis, Kenneth...
ICFP
2003
ACM
14 years 9 months ago
Representing reductions of NP-complete problems in logical frameworks: a case study
Under the widely believed conjecture P=NP, NP-complete problems cannot be solved exactly using efficient polynomial time algorithms. Furthermore, any instance of a NP-complete pro...
Carsten Schürmann, Jatin Shah