Sciweavers

515 search results - page 35 / 103
» context 2011
Sort
View
JAR
2011
112views more  JAR 2011»
14 years 6 months ago
A Framework for Certified Boolean Branch-and-Bound Optimization
We consider optimization problems of the form (S, cost), where S is a clause set over Boolean variables x1 . . . xn, with an arbitrary cost function cost: Bn → R, and the aim is ...
Javier Larrosa, Robert Nieuwenhuis, Albert Olivera...
CN
2011
331views more  CN 2011»
14 years 6 months ago
P2P vs. IP multicast: Comparing approaches to IPTV streaming based on TV channel popularity
Already a popular application in the Internet, IPTV is becoming, among the service providers, a preferred alternative to conventional broadcasting technologies. Since many of the ...
Alex Bikfalvi, Jaime García-Reinoso, Iv&aac...
CN
2011
111views more  CN 2011»
14 years 3 months ago
On the design of network control and management plane
We provide a design of a control and management plane for data networks using the abstraction of 4D architecture, utilizing and extending 4D’s concept of a logically centralized...
Hammad Iqbal, Taieb Znati
IWC
2011
212views more  IWC 2011»
14 years 2 months ago
Automatic web accessibility metrics: Where we are and where we can go
 The  fact  that  several  web  accessibility  metrics  exist  may  be  evidence  of  a  lack  of  a  comparison  framework   that  highlights  how  well  th...
Markel Vigo, Giorgio Brajnik
CEJCS
2011
80views more  CEJCS 2011»
13 years 11 months ago
Evaluating distributed real-time and embedded system test correctness using system execution traces
: Effective validation of distributed real-time and embedded (DRE) system quality-of-service (QoS) properties (e.g., event prioritization, latency, and throughput) requires testin...
James H. Hill, Pooja Varshneya, Douglas C. Schmidt