Sciweavers

3879 search results - page 527 / 776
» PyPBS design and methodologies
Sort
View
DAC
2001
ACM
16 years 7 months ago
Semi-Formal Test Generation with Genevieve
This paper describes the first application of the Genevieve test generation methodology. The Genevieve approach uses semi-formal techniques derived from "model-checking"...
Julia Dushina, Mike Benjamin, Daniel Geist
WWW
2001
ACM
16 years 7 months ago
Auditing for Accessibility
The paper discusses recent web Accessibility Audits produced by the authors [8] ? audits that have the dual aims of raising accessibility levels of the subject sites and the gener...
Lorna Gibson, David Sloan, Peter Gregor, Paul Boot...
ICCAD
2008
IEEE
130views Hardware» more  ICCAD 2008»
16 years 3 months ago
Lightweight secure PUFs
— To ensure security and robustness of the next generation of Physically Unclonable Functions (PUFs), we have developed a new methodology for PUF design. Our approach employs int...
Mehrdad Majzoobi, Farinaz Koushanfar, Miodrag Potk...
ICCAD
2002
IEEE
154views Hardware» more  ICCAD 2002»
16 years 3 months ago
Concurrent flip-flop and repeater insertion for high performance integrated circuits
For many years, CMOS process scaling has allowed a steady increase in the operating frequency and integration density of integrated circuits. Only recently, however, have we reach...
Pasquale Cocchini
TEI
2010
ACM
129views Hardware» more  TEI 2010»
16 years 1 months ago
TextDraw: a prototype for gestural typesetting
This paper considers a new approach that allows for the creation of typographic works through gestural interaction. It describes a prototype application called TextDraw, which is ...
Travis Kirton, Pamela Jennings, Hideaki Ogawa