Sciweavers

8699 search results - page 1458 / 1740
» Elements of the Theory of Computation
Sort
View
LICS
2005
IEEE
16 years 9 days ago
A Polynomial Time Presburger Criterion and Synthesis for Number Decision Diagrams
Number Decision Diagrams (NDD) are the automatabased symbolic representation for manipulating sets of integer vectors encoded as strings of digit vectors (least or most significa...
Jérôme Leroux
MSE
2005
IEEE
148views Hardware» more  MSE 2005»
16 years 9 days ago
Teaching System-Level Design Using SpecC and SystemC
System-level design of embedded computer systems is essential to manage complexity and enhance designer productivity. Viewing designs at t abstraction levels allows developers to ...
Robert D. Walstrom, Joseph Schneider, Diane T. Rov...
TRIDENTCOM
2005
IEEE
16 years 9 days ago
A Geography-Aware Scalable Community Wireless Network Test Bed
Wireless mesh networks have increasingly become an object of interest in recent years as a strong alternative to purely wired infrastructure networks and purely mobile wireless ne...
Bow-Nan Cheng, Shivkumar Kalyanaraman, Max Klein
WIOPT
2005
IEEE
16 years 9 days ago
Power Control for Multicell CDMA Wireless Networks: A Team Optimization Approach
We study power control in multicell CDMA wireless networks as a team optimization problem where each mobile attains at the minimum its individual fixed target SIR level and beyon...
Tansu Alpcan, Xingzhe Fan, Tamer Basar, Murat Arca...
GROUP
2005
ACM
16 years 8 days ago
Negotiated rhythms of mobile work: time, place, and work schedules
This study investigates the role of rhythms in the collaborative coordination of mobile work as well as in the individual actors’ comprehension and command of their work. Drawin...
Magnus Nilsson, Morten Hertzum
« Prev « First page 1458 / 1740 Last » Next »