650 search results - page 59 / 130 » Strictly-Regular Number System and Data Structures |
126
Voted
ICC
2007
IEEE
15 years 10 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...
135
Voted
IJAIT
2006
15 years 3 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...
128
Voted
PODC
1990
ACM
15 years 7 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...
205
Voted
HPDC
2008
IEEE
15 years 10 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...
110
Voted
HICSS
2002
IEEE
15 years 8 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...