Sciweavers

53 search results - page 5 / 11
» The FABRIC Project
Sort
View
CAISE
2006
Springer
13 years 11 months ago
Validation of Regulation Documents by Automated Analysis of Formal Models
Abstract. The security of civil aviation is regulated by a series of international standards and recommended practices. The EDEMOI project aims at investigating different technique...
Didier Bert, Fabrice Bouquet, Yves Ledru, Sylvie V...
GLVLSI
1999
IEEE
88views VLSI» more  GLVLSI 1999»
13 years 11 months ago
Logic in Wire: Using Quantum Dots to Implement a Microprocessor
Despite the seemingly endless upwards spiral of modern VLSI technology, many experts are predicting a hard wall for CMOS in about a decade. Given this, researchers continue to loo...
Michael T. Niemier, Peter M. Kogge
FMCAD
2007
Springer
13 years 11 months 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
VLSID
2002
IEEE
106views VLSI» more  VLSID 2002»
14 years 7 months ago
SWASAD: An ASIC Design for High Speed DNA Sequence Matching
This paper presents the Smith and Waterman Algorithm-Specific ASIC Design (SWASAD) project. This is a hardware solution that implements the S&W algorithm.. The SWASAD is an imp...
Tony Han, Sri Parameswaran
TEI
2010
ACM
114views Hardware» more  TEI 2010»
14 years 2 months ago
Knitted stretch sensors for sound output
Stretch sensors appear to offer the physical computing and wearables communities a solution in their flexibility. This paper introduces an interdisciplinary project in which knit,...
Martha Glazzard, Sarah Kettley