Sciweavers

247 search results - page 45 / 50
» On Pseudorandom Generators in NC
Sort
View
CAD
2004
Springer
13 years 7 months ago
Graphics-assisted Rolling Ball Method for 5-axis surface machining
In this paper, a graphics hardware-assisted approach to 5-axis surface machining is presented that builds upon a tool positioning strategy named the Rolling Ball Method presented ...
Paul J. Gray, Fathy Ismail, Sanjeev Bedi
DATE
2008
IEEE
148views Hardware» more  DATE 2008»
14 years 1 months ago
On Analysis and Synthesis of (n, k)-Non-Linear Feedback Shift Registers
— Non-Linear Feedback Shift Registers (NLFSRs) have been proposed as an alternative to Linear Feedback Shift Registers (LFSRs) for generating pseudo-random sequences for stream c...
Elena Dubrova, Maxim Teslenko, Hannu Tenhunen
ICSE
2008
IEEE-ACM
14 years 8 months ago
ARTOO: adaptive random testing for object-oriented software
Intuition is often not a good guide to know which testing strategies will work best. There is no substitute for experimental analysis based on objective criteria: how many bugs a ...
Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertr...
ICALP
2009
Springer
14 years 7 months ago
LTL Path Checking Is Efficiently Parallelizable
We present an AC1 (logDCFL) algorithm for checking LTL formulas over finite paths, thus establishing that the problem can be efficiently parallelized. Our construction provides a f...
Lars Kuhtz, Bernd Finkbeiner
COCO
2003
Springer
82views Algorithms» more  COCO 2003»
14 years 21 days ago
Derandomization and Distinguishing Complexity
We continue an investigation of resource-bounded Kolmogorov complexity and derandomization techniques begun in [2, 3]. We introduce nondeterministic time-bounded Kolmogorov comple...
Eric Allender, Michal Koucký, Detlef Ronneb...