1021 search results - page 141 / 205 » Pure Subtype Systems |
IPPS
2008
IEEE
14 years 2 months ago
2008
IEEE
Evaluation of high performance parallel systems is a delicate issue, due to the difficulty of generating workloads that represent, with fidelity, those that will run on actual sys...
LICS
2008
IEEE
14 years 2 months ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
SASO
2008
IEEE
14 years 2 months ago
2008
IEEE
—Distance sensitivity is a locality concept that is useful for designing scalable wireless sensor network applications. In this paper, we formally define distance sensitivity an...
AINA
2007
IEEE
14 years 2 months ago
2007
IEEE
— Quality of Service (QoS) of disadvantaged networks is usually considered from a purely network standpoint in existing works. Adversarial intervention in such networks is not an...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
— In this paper, an innovative frequency domain joint estimation algorithm of synchronization parameter and channel impulse response (CIR) in Direct Sequence Code Division Multip...