Sciweavers

1287 search results - page 144 / 258
» Reduction of Timed Hybrid Systems
Sort
View
HICSS
2003
IEEE
136views Biometrics» more  HICSS 2003»
15 years 9 months ago
Applying Multiple Query Optimization in Mobile Databases
We apply multiple query optimization to batches of pull (on-demand) requests in a mobile database system. The resulting view can answer several queries at once, and it is broadcas...
Rajeswari Malladi, Karen C. Davis
IFIP
2010
Springer
14 years 11 months ago
A Calculus for the Analysis of Wireless Network Security Protocols
We propose a timed broadcasting calculus for wireless systems. The operational semantics of our calculus is given both in terms of a Reduction Semantics and in terms of a Labelled ...
Francesco Ballardin, Massimo Merro
ISCA
1993
IEEE
117views Hardware» more  ISCA 1993»
15 years 8 months ago
Evaluation of Release Consistent Software Distributed Shared Memory on Emerging Network Technology
We evaluate the e ect of processor speed, network bandwidth, and software overhead on the performance of release-consistent software distributed shared memory. We examine ve di er...
Sandhya Dwarkadas, Peter J. Keleher, Alan L. Cox, ...
139
Voted
POS
1992
Springer
15 years 8 months ago
Supporting Large Persistent Stores using Conventional Hardware
Persistent programming systems are generally supported by an object store, a conceptually infinite object repository. Objects in such a repository cannot be directly accessed by u...
Francis Vaughan, Alan Dearle
GECCO
2008
Springer
232views Optimization» more  GECCO 2008»
15 years 5 months ago
An efficient SVM-GA feature selection model for large healthcare databases
This paper presents an efficient hybrid feature selection model based on Support Vector Machine (SVM) and Genetic Algorithm (GA) for large healthcare databases. Even though SVM an...
Rick Chow, Wei Zhong, Michael Blackmon, Richard St...