1154 search results - page 214 / 231 » Mathematizing C concurrency |
158
click to vote
INFOCOM
2007
IEEE
16 years 25 days ago
2007
IEEE
— The Interference Temperature Model was proposed by the FCC in 2003 as a way to dynamically manage and allocate spectrum resources. It would allow unlicensed radios to sense the...
200
click to vote
EMSOFT
2007
Springer
16 years 21 days ago
2007
Springer
We address the problem of mapping a set of processes which communicate synchronously on a distributed platform. The Time Triggered Architecture (TTA) proposed by Kopetz for the co...
191
click to vote
ICCS
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Previous work of the authors has studied a notion of implication between sets of sequences based on the conceptual structure of a Galois lattice, and also a way of repres...
182
click to vote
OOPSLA
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Object-oriented language concepts have been highly successful, resulting in a large number of object-oriented languages and language extensions. Unfortunately, formal met...
161
click to vote
MOBICOM
2006
ACM
16 years 15 days ago
2006
ACM
This paper considers the interaction between channel assignment and distributed scheduling in multi-channel multiradio Wireless Mesh Networks (WMNs). Recently, a number of distrib...