971 search results - page 111 / 195 » Approximate Satisfiability and Equivalence |
119
Voted
NETWORKS
2007
15 years 8 days ago
2007
We study the problem of designing a survivable WDM network based on covering the communication requests with subnetworks that are protected independently from each other. We consi...
118
click to vote
FMSD
2010
14 years 11 months ago
2010
Abstract Modeling and Simulation Aided Verification of Analog/MixedSignal Circuits S. Little and C. Myers (University of Utah, USA) Monday, July 14, 14:00-17:00 4 14:00-14:40 fSpic...
96
Voted
INFOCOM
2010
IEEE
14 years 11 months ago
2010
IEEE
—Linear network coding is a promising technology that can maximize the throughput capacity of communication network. Despite this salient feature, there are still many challenges...
70
Voted
SIAMSC
2010
14 years 11 months ago
2010
This work presents a mesh refinement indicator based on entropy variables, with an application to the compressible Navier-Stokes equations. The entropy variables are shown to sati...
116
Voted
WOTE
2010
14 years 10 months ago
2010
Abstract. While electronic elections promise the possibility of convenient, efficient and secure facilities for recording and tallying votes, recent studies have highlighted inadeq...