Sciweavers

1361 search results - page 24 / 273
» Boolean Comparison by Simulation
Sort
View
FCS
2006
13 years 9 months ago
The Representational Power of Conjunctive Normal Form
- There is continuing research interest in comparison of the complexity of problems within the class NP-Complete. This paper examines the representational power of conjunctive norm...
Thomas O'Neil, Jason Smith
TCS
2008
13 years 7 months ago
Verification of qualitative Z constraints
We introduce an LTL-like logic with atomic formulae built over a constraint language interpreting variables in Z. The constraint language includes periodicity constraints, comparis...
Stéphane Demri, Régis Gascon
BROADNETS
2005
IEEE
14 years 1 months ago
Performance comparison of agile optical network architectures with static vs. dynamic regenerator assignment
Abstract— Agile all optical cross-connect (OXC) switches currently use an architecture in which regenerators and transceivers have pre-assigned and fixed directionality. However...
Kotikalapudi Sriram, David W. Griffith, Giuseppe D...
MSWIM
2004
ACM
14 years 1 months ago
Outdoor experimental comparison of four ad hoc routing algorithms
Most comparisons of wireless ad hoc routing algorithms involve simulated or indoor trial runs, or outdoor runs with only a small number of nodes, potentially leading to an incorre...
Robert S. Gray, David Kotz, Calvin C. Newport, Nik...
ICETET
2009
IEEE
14 years 2 months ago
A Comparison Study of Receiver Performances on Ultrawide Band Indoor Wireless Channel Model
For high data rate ultra wideband communication system, performance comparison of Rake, MMSE and RakeMMSE receivers is attempted in this paper. The effect of the number of Rake fin...
Bikramaditya Das, Susmita Das