113 search results - page 20 / 23 » When Simulation Meets Antichains |
HPCA
2005
IEEE
15 years 10 months ago
2005
IEEE
With the increasing concern of the security on high performance multiprocessor enterprise servers, more and more effort is being invested into defending against various kinds of a...
SIGMOD
2005
ACM
15 years 9 months ago
2005
ACM
As critical records are increasingly stored in electronic form, which tends to make for easy destruction and clandestine modification, it is imperative that they be properly manag...
PERCOM
2003
ACM
15 years 9 months ago
2003
ACM
A mobile ad-hoc network is an autonomous system of mobile routers that are self-organizing and completely decentralized with no requirements for dedicated infrastructure support. ...
89
Voted
ICC
2007
IEEE
15 years 3 months ago
2007
IEEE
— CDMA 1x Ev-DO is an evolution of the CDMA2000 3G wireless standard to enable high rate packet data services up to 2.4Mbps in Rev 0, 3.1Mbps in Rev A, and 4.9Mbps in Rev B. To s...
INFOCOM
2007
IEEE
15 years 3 months ago
2007
IEEE
—Duty-cycle MAC protocols have been proposed to meet the demanding energy requirements of wireless sensor networks. Although existing duty-cycle MAC protocols such as S-MAC are p...