Sciweavers

9290 search results - page 1449 / 1858
» The Predictability of Data Values
Sort
View
231
Voted
TVLSI
2008
140views more  TVLSI 2008»
15 years 7 months ago
A Novel Mutation-Based Validation Paradigm for High-Level Hardware Descriptions
We present a Mutation-based Validation Paradigm (MVP) technology that can handle complete high-level microprocessor implementations and is based on explicit design error modeling, ...
Jorge Campos, Hussain Al-Asaad
TWC
2008
85views more  TWC 2008»
15 years 7 months ago
Bandwidth partitioning in decentralized wireless networks
This paper addresses the following question, which is of interest in the design of a multiuser decentralized network. Given a total system bandwidth of W Hz and a fixed data rate c...
Nihar Jindal, Jeffrey G. Andrews, Steven Weber
BIB
2000
117views more  BIB 2000»
15 years 7 months ago
Ontology-based Knowledge Representation for Bioinformatics
Much of biology works by applying prior knowledge (`what is known') to an unknown entity, rather than the application of a set of axioms that will elicit knowledge. In additi...
Robert Stevens, Carole A. Goble, Sean Bechhofer
201
Voted
JCS
2002
115views more  JCS 2002»
15 years 7 months ago
Panoptis: Intrusion Detection Using a Domain-Specific Language
We describe the use of a domain-specific language (DSL) for expressing critical design values and constraints in an intrusion detection application. Through the use of this specia...
Diomidis Spinellis, Dimitris Gritzalis
TVCG
1998
197views more  TVCG 1998»
15 years 7 months ago
A New Line Integral Convolution Algorithm for Visualizing Time-Varying Flow Fields
—New challenges on vector field visualization emerge as time-dependent numerical simulations become ubiquitous in the field of computational fluid dynamics (CFD). To visualize da...
Han-Wei Shen, David L. Kao
« Prev « First page 1449 / 1858 Last » Next »