650 search results - page 59 / 130 » Strictly-Regular Number System and Data Structures |
ICC
2007
IEEE
14 years 2 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
13 years 7 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
13 years 11 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...
HPDC
2008
IEEE
14 years 2 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
14 years 18 days 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...