1021 search results - page 141 / 205 » Pure Subtype Systems |
134
click to vote
IPPS
2008
IEEE
16 years 17 days 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...
169
click to vote
LICS
2008
IEEE
16 years 16 days 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...
160
click to vote
SASO
2008
IEEE
16 years 16 days 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...
175
click to vote
AINA
2007
IEEE
16 years 15 days 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...
156
click to vote
ICC
2007
IEEE
16 years 14 days 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...