Sciweavers

3702 search results - page 99 / 741
» All Pairings Are in a Group
Sort
View
DCG
2010
57views more  DCG 2010»
15 years 6 months ago
Iterated Point-Line Configurations Grow Doubly-Exponentially
Begin with a set of four points in the real plane in general position. Add to this collection the intersection of all lines through pairs of these points. Iterate. Ismailescu and ...
Joshua Cooper, Mark Walters
INFOCOM
2005
IEEE
16 years 4 hour ago
The one-to-many TCP overlay: a scalable and reliable multicast architecture
Abstract— We consider reliable multicast in overlay networks where nodes have finite-size buffers and are subject to failures. We address issues of end-to-end reliability and th...
François Baccelli, Augustin Chaintreau, Zhe...
ASPDAC
2006
ACM
144views Hardware» more  ASPDAC 2006»
16 years 11 days ago
Compaction of pass/fail-based diagnostic test vectors for combinational and sequential circuits
Abstract— Substantial attention is being paid to the fault diagnosis problem in recent test literature. Yet, the compaction of test vectors for fault diagnosis is little explored...
Yoshinobu Higami, Kewal K. Saluja, Hiroshi Takahas...
IJISEC
2002
58views more  IJISEC 2002»
15 years 6 months ago
A complete characterization of a family of key exchange protocols
Using a random deal of cards to players and a computationally unlimited eavesdropper, all players wish to share a one-bit secret key which is informationtheoretically secure from t...
Takaaki Mizuki, Hiroki Shizuya, Takao Nishizeki
ECEASST
2010
15 years 3 months ago
Checking Graph-Transformation Systems for Confluence
d Abstract) Detlef Plump Abstract. In general, it is undecidable whether a terminating graphtransformation system is confluent or not. We introduce the class of coverable hypergrap...
Detlef Plump