Sciweavers

GLVLSI
2009
IEEE
323views VLSI» more  GLVLSI 2009»
13 years 8 months ago
MYGEN: automata-based on-line test generator for assertion-based verification
To assist in dynamic assertion-based verification, we present a method to automatically build a test vector generator from a temporal property. Based on the duality between monito...
Yann Oddos, Katell Morin-Allory, Dominique Borrion...
MCS
2010
Springer
13 years 9 months ago
Resolution-stationary random number generators
Besides speed and period length, the quality of uniform random number generators is usually assessed by measuring the uniformity of their point sets, formed by taking vectors of s...
François Panneton, Pierre L'Ecuyer
CORR
2010
Springer
72views Education» more  CORR 2010»
13 years 10 months ago
Simple Cellular Automata-Based Linear Models for the Shrinking Generator
- Structural properties of two well-known families of keystream generators, Shrinking Generators and Cellular Automata, have been analyzed. Emphasis is on the equivalenceof the bin...
Amparo Fúster-Sabater, Dolores de la Gu&iac...
CCR
2002
130views more  CCR 2002»
13 years 10 months ago
Network topologies, power laws, and hierarchy
It has long been thought that the Internet, and its constituent networks, are hierarchical in nature. Consequently, the network topology generators most widely used by the Interne...
Hongsuda Tangmunarunkit, Ramesh Govindan, Sugih Ja...
ENTCS
2008
81views more  ENTCS 2008»
13 years 11 months ago
Presenting Dcpos and Dcpo Algebras
Dcpos can be presented by a preorder of generators and inequational relations expressed as covers. Algebraic operations on the generators (possibly with their results being ideals...
Achim Jung, M. Andrew Moshier, Steven J. Vickers
BC
2008
58views more  BC 2008»
13 years 11 months ago
Resolving the dynamics of EEG generators by multichannel recordings
The voltage recorded over the cortex (ECoG) or over the scalp (EEG) is generated by currents derived from many sources called "generators". Different patterns and amplit...
Lilach Avitan, Mina Teicher, Moshe Abeles
AAAI
2006
14 years 11 days ago
Minimum Description Length Principle: Generators Are Preferable to Closed Patterns
The generators and the unique closed pattern of an equivalence class of itemsets share a common set of transactions. The generators are the minimal ones among the equivalent items...
Jinyan Li, Haiquan Li, Limsoon Wong, Jian Pei, Guo...
FPT
2005
IEEE
170views Hardware» more  FPT 2005»
14 years 4 months ago
High Quality Uniform Random Number Generation Through LUT Optimised Linear Recurrences
This paper describes a class of FPGA-specific uniform random number generators with a 2k −1 length period, which can provide k random bits per-cycle for the cost of k Lookup Ta...
David B. Thomas, Wayne Luk