Sciweavers

6756 search results - page 158 / 1352
» Distributed Shared State
Sort
View
IROS
2007
IEEE
164views Robotics» more  IROS 2007»
15 years 11 months ago
Emulation and behavior understanding through shared values
— Neurophysiology has revealed the existence of mirror neurons in brain of macaque monkeys and they shows similar activities during executing an observation of goal directed move...
Yasutake Takahashi, Teruyasu Kawamata, Minoru Asad...
SAINT
2007
IEEE
15 years 11 months ago
Peer-to-Peer Scheduling System with Scalable Information Sharing Protocol
In traditional job scheduling systems for the Grid, a single or a few machines handle information of all computing resources and scheduling tasks. This centralized approach is not...
Norihiro Umeda, Hidemoto Nakada, Satoshi Matsuoka
115
Voted
ELPUB
1999
ACM
15 years 9 months ago
INDRENI - The Nepali Intranet. A Platform for Electronic Publishing and Information Sharing in Nepal
This paper describes the establishment of an intranet programme, ’Indreni’ , in Nepal. The article commences with a briefing on the state of telecommunications in developing cou...
Gaurab Raj Upadhaya
143
Voted
SAS
1999
Springer
116views Formal Methods» more  SAS 1999»
15 years 9 months ago
Decomposing Non-redundant Sharing by Complementation
Complementation, the inverse of the reduced product operation, is a technique for systemfinding minimal decompositions of abstract domains. Fil´e and Ranzato advanced the state ...
Enea Zaffanella, Patricia M. Hill, Roberto Bagnara
HYBRID
2007
Springer
15 years 11 months ago
Symbolic Analysis for GSMP Models with One Stateful Clock
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...
Mikhail Bernadsky, Rajeev Alur