601 search results - page 58 / 121 » An Optimality Principle for Concurrent Systems |
133
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
115
click to vote
HICSS
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper addresses the problem of reactive power dispatch in a power system partitioned into several areas controlled by different transmission system operators. Previous resear...
146
click to vote
TASE
2010
IEEE
14 years 10 months ago
2010
IEEE
This paper presents a novel multiagent approach to automating taxi dispatch that services current bookings in a distributed fashion. The existing system in use by a taxi operator i...
123
click to vote
MOBIDE
2009
ACM
15 years 8 months ago
2009
ACM
Optimistic replication is a fundamental technique for supporting concurrent work practices in mobile environments. However, due to sudden and frequent transitions to weakly connec...
211
click to vote
HPDC
2008
IEEE
15 years 10 months ago
2008
IEEE
The emergence of heterogeneous many core architectures presents a unique opportunity for delivering order of magnitude performance increases to high performance applications by ma...