3618 search results - page 572 / 724 » Additive functions for number systems in function fields |
GLOBECOM
2006
IEEE
14 years 4 months ago
2006
IEEE
— In this paper, we consider single user throughput optimization problem for continuous flat fading channels of multiple-input multiple-output (MIMO) system. It is known that ch...
ISPDC
2006
IEEE
14 years 4 months ago
2006
IEEE
Data replication permits a better network bandwidth utilization and minimizes the effect of latency in large-scale systems such as computing grids. However, the cost of maintainin...
HASKELL
2006
ACM
14 years 4 months ago
2006
ACM
In languages that support polymorphic variants, a single variant value can be passed to many contexts that accept different sets of constructors. Polymorphic variants are potenti...
KBSE
2005
IEEE
14 years 3 months ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
RTSS
2005
IEEE
14 years 3 months ago
2005
IEEE
Abstract— Dynamic voltage scaling (DVS) is a promising technique for battery-powered systems to conserve energy consumption. Most existing DVS algorithms assume information about...