Sciweavers

4650 search results - page 689 / 930
» Conceptual Integration Networks
Sort
View
ISVLSI
2008
IEEE
156views VLSI» more  ISVLSI 2008»
16 years 29 days ago
Characterisation of FPGA Clock Variability
As integrated circuits are scaled down it becomes difficult to maintain uniformity in process parameters across each individual die. The resulting performance variation requires ...
N. Pete Sedcole, Justin S. Wong, Peter Y. K. Cheun...
WETICE
2008
IEEE
16 years 28 days ago
On NAT Traversal in Peer-to-Peer Applications
A widely used technique to overcome the shortage of unique public IP addresses is Network Address Translation (NAT), which hides several hosts behind a single public address. This...
Konstantin Pussep, M. Weinert, Aleksandra Kovacevi...
DATE
2007
IEEE
165views Hardware» more  DATE 2007»
16 years 27 days ago
Boosting the role of inductive invariants in model checking
This paper focuses on inductive invariants in unbounded model checking to improve efficiency and scalability. First of all, it introduces optimized techniques to speedup the comp...
Gianpiero Cabodi, Sergio Nocco, Stefano Quer
DEXAW
2007
IEEE
150views Database» more  DEXAW 2007»
16 years 27 days ago
Compressed Aggregations for mobile OLAP Dissemination
As wireless network infrastructure becomes more reliable, an increasing number of traditional desktop applications, beyond common web browsing, migrate to portable devices. Since ...
Ilias Michalarias, Arkadiy Omelchenko
GLOBECOM
2007
IEEE
16 years 27 days ago
Opportunistic Access with Random Subchannel Backoff (OARSB) for OFDMA Uplink
Abstract— A distributed medium access control (MAC) algorithm for uplink OFDMA networks under the IEEE 802.16 framework is proposed and analyzed in this work. We present a simple...
Yu-Jung Chang, Feng-Tsun Chien, C. C. Jay Kuo