1965 search results - page 24 / 393 » Toward a Model for Shared Data Abstraction with Performance |
JISE
1998
13 years 10 months ago
1998
straction reduces the number of states necessary to perform formal verification while maintaining the functionality of the original model with respect to ifications to be verified....
PERVASIVE
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. People-centric sensor-based applications targeting mobile device users offer enormous potential. However, learning inference models in this setting is hampered by the lac...
BTW
2007
Springer
14 years 4 months ago
2007
Springer
: Efficient information sharing is very important for emergency and rescue operations. These operations often have to be performed in environments where no communication infrastruc...
SC
2000
ACM
14 years 2 months ago
2000
ACM
We demonstrate that data reordering can substantially improve the performance of fine-grained irregular sharedmemory benchmarks, on both hardware and software shared-memory syste...
EUROPAR
2004
Springer
14 years 3 months ago
2004
Springer
The shared data space model has proven to be an effective paradigm for building distributed applications. However, building an efficient distributed implementation remains a chall...