Sciweavers

4485 search results - page 763 / 897
» Equivalences on Observable Processes
Sort
View
135
Voted
JCO
2006
64views more  JCO 2006»
15 years 3 months ago
Traffic engineering of tunnel-based networks with class specific diversity requirements
Tunnel-based networks such as Multi-protocol Label switching (MPLS) are suitable for providing diversity guarantees to different service classes or customers. Based on the number ...
Shekhar Srivastava, Deep Medhi
141
Voted
ENTCS
2007
119views more  ENTCS 2007»
15 years 3 months ago
Interpolant Learning and Reuse in SAT-Based Model Checking
Bounded Model Checking (BMC) is one of the most paradigmatic practical applications of Boolean Satisfiability (SAT). The utilization of SAT in model checking has allowed signifi...
João Marques-Silva
144
Voted
JSA
2006
113views more  JSA 2006»
15 years 3 months ago
A power-efficient TCAM architecture for network forwarding tables
Stringent memory access and search speed requirements are two of the main bottlenecks in wire speed processing. Most viable search engines are implemented in content addressable m...
Taskin Koçak, Faysal Basci
121
Voted
MJ
2008
148views more  MJ 2008»
15 years 3 months ago
Drive current boosting of n-type tunnel FET with strained SiGe layer at source
Though silicon tunnel field effect transistor (TFET) has attracted attention for sub-60 mV/decade subthreshold swing and very small OFF current (IOFF), its practical application i...
Nayan Patel, A. Ramesha, Santanu Mahapatra
129
Voted
MJ
2008
67views more  MJ 2008»
15 years 3 months ago
Temperature-adaptive voltage tuning for enhanced energy efficiency in ultra-low-voltage circuits
Circuits optimized for minimum energy consumption operate typically in the subthreshold regime with ultra-low power-supply voltages. Speed of a subthreshold logic circuit is enhan...
Ranjith Kumar, Volkan Kursun