4520 search results - page 856 / 904 » Algebraic Techniques for Timed Systems |
79
Voted
MOBIHOC
2009
ACM
16 years 1 months ago
2009
ACM
In this paper, we consider a non-saturated IEEE 802.11 based wireless network. We use a three-way fixed point to model the node behavior with Bernoulli packet arrivals and determi...
106
click to vote
SIGCOMM
2009
ACM
15 years 7 months ago
2009
ACM
Network protocol designers, both at the physical and network level, have long considered interference and simultaneous transmission in wireless protocols as a problem to be avoide...
118
Voted
CHI
2010
ACM
15 years 7 months ago
2010
ACM
PACER is a gesture-based interactive paper system that supports fine-grained paper document content manipulation through the touch screen of a cameraphone. Using the phone’s cam...
136
click to vote
DSN
2008
IEEE
15 years 7 months ago
2008
IEEE
: Automated tools for understanding application behavior and its changes during the application life-cycle are essential for many performance analysis and debugging tasks. Applicat...
110
click to vote
ISCAS
2007
IEEE
15 years 7 months ago
2007
IEEE
—The paper presents architecture and synthesis results for an organic computing hardware for smart CMOS camera chips. The organic behavior in the chip hardware is based on distri...