1785 search results - page 42 / 357 » Modeling Communication with Synchronized Environments |
JAIR
2000
14 years 9 months ago
2000
Recently model checking representation and search techniques were shown to be efciently applicable to planning, in particular to non-deterministic planning. Such planning approach...
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
Single-frequency simulcast networks use two or more Radio Base Stations (RBS) to transmit simultaneously the same signal on the same radio channel over the service area. To ens...
FMICS
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. TTEthernet is a communication infrastructure for mixedcriticality systems that integrates dataflow from applications with different criticality levels on a single network...
IPPS
2009
IEEE
2009
IEEE
Scaling communication-intensive applications on BlueGene/P using one-sided communication and overlap
15 years 4 months ago
In earlier work, we showed that the one-sided communication model found in PGAS languages (such as UPC) offers significant advantages in communication efficiency by decoupling d...
168
click to vote
CRV
2011
IEEE
13 years 9 months ago
2011
IEEE
—We consider the problem of exploring an unknown environment with a pair of mobile robots. The goal is to make the robots meet (or rendezvous) in minimum time such that there is ...