2167 search results - page 170 / 434 » On the need for statistical timing analysis |
188
click to vote
IFL
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
180
click to vote
SPAA
2003
ACM
15 years 11 months ago
2003
ACM
Link reversal algorithms provide a simple mechanism for routing in mobile ad hoc networks. These algorithms maintain routes to any particular destination in the network, even when...
184
click to vote
MOBIHOC
2006
ACM
16 years 6 months ago
2006
ACM
Traditionally, ad hoc networks have been viewed as a connected graph over which end-to-end routing paths had to be established. Mobility was considered a necessary evil that inval...
168
click to vote
ICC
2008
IEEE
16 years 1 months ago
2008
IEEE
— Ultra-wideband (UWB) technology is expected to provide high data rate services for future wireless personal area networks (WPANs). The WiMedia Alliance recently has launched it...
186
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
We study how decentralized agents can develop a shared vocabulary without global coordination. Answering this question can help us understand the emergence of many communication s...