2850 search results - page 414 / 570 » On Timed Models and Full Abstraction |
157
click to vote
INFOCOM
2005
IEEE
15 years 12 months ago
2005
IEEE
Abstract— We consider the problem of power controlled minimum frame length scheduling for TDMA wireless networks. Given a set of one-hop transmission requests, our objective is t...
142
click to vote
ISCAS
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract— The analysis of effects induced by interconnects become increasingly important as the scale of process technologies steadily shrinks. While most analyses focus on the t...
134
click to vote
ISPDC
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract. Grid architectures are execution environments that are known to be at the same time distributed, parallel, heterogeneous and dynamic. While current tools focus solutions ...
159
click to vote
LICS
2005
IEEE
15 years 11 months ago
2005
IEEE
In the 1980s process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which...
167
click to vote
NCA
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract— This paper describes an original approach to writing reactive algorithms on highly dynamic networks. We propose to use randomly mobile agents to gather global informati...