Sciweavers

3424 search results - page 372 / 685
» Automated Testing of Classes
Sort
View
VTS
2006
IEEE
122views Hardware» more  VTS 2006»
16 years 19 days ago
Mixed PLB and Interconnect BIST for FPGAs Without Fault-Free Assumptions
We tackle the problem of fault-free assumptions in current PLB and interconnect built-in-self-test (BIST) techniques for FPGAs. These assumptions were made in order to develop stro...
Vishal Suthar, Shantanu Dutt
IANDC
2011
129views more  IANDC 2011»
15 years 1 months ago
Rigid tree automata and applications
We introduce the class of Rigid Tree Automata (RTA), an extension of standard bottom-up automata on ranked trees with distinguished states called rigid. Rigid states define a res...
Florent Jacquemard, Francis Klay, Camille Vacher
WIDM
2006
ACM
16 years 18 days ago
Coarse-grained classification of web sites by their structural properties
In this paper, we identify and analyze structural properties which reflect the functionality of a Web site. These structural properties consider the size, the organization, the co...
Christoph Lindemann, Lars Littig
HASE
2007
IEEE
16 years 29 days ago
On the Verifiability of Programs Written in the Feature Language Extensions
High assurance in embedded system software is difficult to attain. Verification relies on testing. The unreliable and costly testing process is made much worse because the softwar...
Wu-Hon F. Leung
LANOMS
2007
IEEE
121views Education» more  LANOMS 2007»
16 years 28 days ago
The RUCA Project and Digital Inclusion
- The XO (OLPC’s “one hundred dollar laptop”) is under evaluation by the Brazilian Government as a possible educational tool and also as a means of promoting digital inclusio...
Ricardo C. Carranoa, Raphael R. Martinsi, Luiz Cla...