543 search results - page 87 / 109 » New Upper Bounds for MaxSat |
162
click to vote
EMSOFT
2007
Springer
16 years 26 days ago
2007
Springer
E-FRP is declarative language for programming resourcebounded, event-driven systems. The original high-level semantics of E-FRP requires that each event handler execute atomically...
173
click to vote
ICB
2007
Springer
16 years 26 days ago
2007
Springer
This paper investigates a new approach to formulate performance indices of biometric system using information theoretic models. The performance indices proposed here (unlike conven...
177
click to vote
GLOBECOM
2006
IEEE
16 years 23 days ago
2006
IEEE
— Low analyzes the equilibrium performance of the recently developed eXplicit Control Protocol (XCP) by applying the derived window-based dynamical model. However, Low’s window...
155
click to vote
ISCAS
2006
IEEE
16 years 22 days ago
2006
IEEE
— The X-architecture is a new integrated-circuit wiring technique in the physical design. Compared with the currently used M-architecture, which uses either horizontal or vertica...
183
click to vote
ICPADS
2005
IEEE
16 years 9 days ago
2005
IEEE
- This paper proposes a new distributed QoS routing protocol, called Efficient Distributed QoS Routing (EDQR), for MPLS networks. The path searching algorithm of EDQR considers an ...