12084 search results - page 417 / 2417 » Effect Systems with Subtyping |
222
click to vote
VALUETOOLS
2006
ACM
16 years 1 months ago
2006
ACM
In the context of communication networks, the framework of stochastic event graphs allows a modeling of control mechanisms induced by the communication protocol and an analysis of ...
201
click to vote
APSEC
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
171
click to vote
ISCAS
2005
IEEE
16 years 1 months ago
2005
IEEE
—In this paper, we describe an automated and formalized methodology for partitioning computational intensive applications between reconfigurable hardware blocks of different gran...
223
click to vote
ISCAS
2005
IEEE
16 years 1 months ago
2005
IEEE
In this paper we propose a semi-blind time domain equalizer (TEQ) design method that maximize SIR (signal-tointerference ratio) in frequency domain for VDSL systems. The proposed ...
183
click to vote
ISPAN
2005
IEEE
16 years 1 months ago
2005
IEEE
The amount of Task Level Parallelism (TLP) in runtime workload is useful information to determine the efficient usage of multiprocessors. This paper presents mechanisms to dynami...