Sciweavers

3168 search results - page 117 / 634
» Computing Event Dependencies in System Designs and Programs
Sort
View
POS
1994
Springer
15 years 9 months ago
Hardware Support for Stability in a Persistent Architecture
Persistent stores support uniform management of data objects regardless of their lifetimes and locations. Such stores typically maintain a self-consistent state even after failure...
Frans A. Henskens, D. M. Koch, Rasool Jalili, John...
PC
1998
153views Management» more  PC 1998»
15 years 4 months ago
Compilation Techniques for Out-of-Core Parallel Computations
The difficulty of handling out-of-core data limits the performance of supercomputers as well as the potential of the parallel machines. Since writing an efficient out-of-core ve...
Mahmut T. Kandemir, Alok N. Choudhary, J. Ramanuja...
148
Voted
CDC
2008
IEEE
206views Control Systems» more  CDC 2008»
15 years 11 months ago
Coverage control for mobile networks with limited-range anisotropic sensors
Abstract— In this paper the coverage control for mobile sensor networks is studied. The novelty is to consider an anisotropic sensor model where the performance of the sensor dep...
Azwirman Gusrialdi, Takeshi Hatanaka, Masayuki Fuj...
POPL
1995
ACM
15 years 8 months ago
Parametric Program Slicing
Program slicing is a technique for isolating computational threads in programs. In this paper, we show how to mechanically extract a family of practical algorithms for computing s...
John Field, G. Ramalingam, Frank Tip
147
Voted
GLOBE
2009
Springer
15 years 9 months ago
Designing, Specifying and Querying Metadata for Virtual Data Integration Systems
Abstract. We show how to specify and use the metadata for a virtual and relational data integration system under the local-as-view (LAV) approach. We use XML and RuleML for represe...
Leopoldo E. Bertossi, Gayathri Jayaraman