650 search results - page 59 / 130 » Strictly-Regular Number System and Data Structures |
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
— Many broadband wireless access (BWA) systems, such as IEEE 802.16e, support high-mobility users traveling at vehicular speeds. BWA systems capable of high data rates and low bi...
IJAIT
2006
14 years 9 months ago
2006
We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In a...
PODC
1990
ACM
15 years 1 months ago
1990
ACM
Emulators that translate algorithms from the shared-memory model to two different message-passing models are presented. Both are achieved by implementing a wait-free, atomic, singl...
118
click to vote
HPDC
2008
IEEE
15 years 4 months ago
2008
IEEE
The emergence of heterogeneous many core architectures presents a unique opportunity for delivering order of magnitude performance increases to high performance applications by ma...
HICSS
2002
IEEE
15 years 2 months ago
2002
IEEE
The large-scale adoption of computer mediated communication technologies has resulted in what has been described as “mass interaction”, shared discourse between hundreds, thou...