Sciweavers

5592 search results - page 18 / 1119
» On Random Betweenness Constraints
Sort
View
TIT
2008
76views more  TIT 2008»
13 years 9 months ago
On the Role of Estimate-and-Forward With Time Sharing in Cooperative Communication
In this paper, we focus on the general relay channel. We investigate the application of the estimate-and-forward (EAF) relaying scheme to different scenarios. Specifically, we stud...
Ron Dabora, Sergio D. Servetto
ITC
2003
IEEE
222views Hardware» more  ITC 2003»
14 years 3 months ago
Race: A Word-Level ATPG-Based Constraints Solver System For Smart Random Simulation
Functional verification of complex designs largely relies on the use of simulation in conjunction high-level verification languages (HVL) and test-bench automation (TBA) tools. In...
Mahesh A. Iyer
STOC
2006
ACM
100views Algorithms» more  STOC 2006»
14 years 10 months ago
On the solution-space geometry of random constraint satisfaction problems
Dimitris Achlioptas, Federico Ricci-Tersenghi
COMPSAC
2008
IEEE
14 years 4 months ago
Constraint Reasoning in Path-Oriented Random Testing
Path-oriented Random Testing (PRT) aims at generating a uniformly spread out sequence of random test data that activate a single control flow path within an imperative program. T...
Arnaud Gotlieb, Matthieu Petit
CP
1997
Springer
14 years 2 months ago
Random Constraint Satisfaction: A More Accurate Picture
In the last few years there has been a great amount of interest in Random Constraint Satisfaction Problems, both from an experimental and a theoretical point of view. Quite intrigu...
Dimitris Achlioptas, Lefteris M. Kirousis, Evangel...