Sciweavers

1855 search results - page 187 / 371
» System Consequence
Sort
View
ISVLSI
2008
IEEE
173views VLSI» more  ISVLSI 2008»
15 years 10 months ago
Hermes-GLP: A GALS Network on Chip Router with Power Control Techniques
The evolution of deep submicron technologies allows the development of increasingly complex Systems on a Chip (SoC). However, this evolution is rendering less viable some well-est...
Julian J. H. Pontes, Matheus T. Moreira, Rafael So...
VTC
2008
IEEE
15 years 10 months ago
Impact of the Primary Network Activity on the Maximum Achievable Capacity of DS-CDMA/OFDM Spectrum Sharing
Abstract— In this paper, we analyze DS-CDMA/OFDM spectrum sharing system based on opportunistic spectrum access (OSA). In this system, the primary network air interface is based ...
Mohammad G. Khoshkholgh, Keivan Navaie, Halim Yani...
WCNC
2008
IEEE
15 years 10 months ago
An Improved Method for GPS-Based Network Position Location in Forests
—In this paper we present a technique for improving the location performance based on the Global Positioning System (GPS) for networks of nodes in harsh environments and demonstr...
Christopher L. Hutchens, Brian R. Sarbin, Alyse C....
ESOP
2007
Springer
15 years 10 months ago
A Complete Guide to the Future
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...
Frank S. de Boer, Dave Clarke, Einar Broch Johnsen
LPAR
2007
Springer
15 years 10 months ago
Completeness and Decidability in Sequence Logic
Sequence logic is a parameterized logic where the formulas are sequences of formulas of some arbitrary underlying logic. The sequence formulas are interpreted in certain linearly o...
Marc Bezem, Tore Langholm, Michal Walicki