Sciweavers

1387 search results - page 63 / 278
» Next generation CiteSeer
Sort
View
ISCAS
2008
IEEE
144views Hardware» more  ISCAS 2008»
15 years 10 months ago
A novel VLSI iterative divider architecture for fast quotient generation
—In this paper, a novel VLSI iterative divider architecture for fast quotient generation that is based on radix-2 non-restoring division is proposed. To speed up the quotient gen...
Tso-Bing Juang, Sheng-Hung Chen, Shin-Mao Li
ACSAC
2005
IEEE
15 years 9 months ago
ScriptGen: an automated script generation tool for honeyd
Honeyd [14] is a popular tool developed by Niels Provos that offers a simple way to emulate services offered by several machines on a single PC. It is a so called low interaction ...
Corrado Leita, Ken Mermoud, Marc Dacier
CCR
1998
90views more  CCR 1998»
15 years 3 months ago
On the generation and use of TCP acknowledgments
This paper presents a simulation study of various TCP acknowledgment generation and utilization techniques. We investigate the standard version of TCP and the two standard acknowl...
Mark Allman
CHI
2009
ACM
16 years 4 months ago
Critical methods and user generated content: the iPhone on YouTube
Sites like YouTube offer vast sources of data for studies of Human Computer Interaction (HCI). However, they also present a number of methodological challenges. This paper offers ...
Mark Blythe, Paul A. Cairns
CADE
2002
Springer
16 years 4 months ago
Reasoning by Symmetry and Function Ordering in Finite Model Generation
Abstract. Finite model search for first-order logic theories is complementary to theorem proving. Systems like Falcon, SEM and FMSET use the known LNH (Least Number Heuristic) heur...
Gilles Audemard, Belaid Benhamou