2468 search results - page 493 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
GECCO
2009
Springer
15 years 4 months ago
2009
Springer
VLSI research, in its continuous push toward further miniaturisation, is seeking to break through the limitations of current circuit manufacture techniques by moving towards biomi...
QEST
2007
IEEE
15 years 3 months ago
2007
IEEE
Online auction sites have unique workloads and user behavior characteristics that do not exist in other e-commerce sites. Earlier studies by the authors identified i) significan...
ATAL
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. Positioned at the confluence between human/machine and hardware/software integration and backed by a solid proof of concept realized through several scenarios encompassin...
INFOCOM
2000
IEEE
15 years 1 months ago
2000
IEEE
—Allocating resources for multimedia traffic flows with real-time performance requirements is an important challenge for future packet networks. However, in large-scale networks,...
MOBISYS
2010
ACM
14 years 11 months ago
2010
ACM
Mobile sensing is difficult without power. Emerging Computational RFIDs (CRFIDs) provide both sensing and generalpurpose computation without batteries--instead relying on small ca...