Sciweavers

24444 search results - page 4241 / 4889
» A Data Model for Data Integration
Sort
View
192
Voted
IPPS
1998
IEEE
15 years 11 months ago
Design and Implementation of a Parallel I/O Runtime System for Irregular Applications
In this paper we present the design, implementation and evaluation of a runtime system based on collective I/O techniques for irregular applications. We present two models, namely...
Jaechun No, Sung-Soon Park, Jesús Carretero...
190
Voted
KBSE
1998
IEEE
15 years 11 months ago
Planning Equational Verification in CCS
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...
Raul Monroy, Alan Bundy, Ian Green
267
Voted
MOBICOM
1998
ACM
15 years 11 months ago
A Performance Comparison of Multi-Hop Wireless Ad Hoc Network Routing Protocols
An ad hoc network is a collection of wireless mobile nodes dynamically forming a temporary network without the use of any existing network infrastructure or centralized administra...
Josh Broch, David A. Maltz, David B. Johnson, Yih-...
197
Voted
EP
1998
Springer
15 years 11 months ago
Memory Scalability in Constraint-Based Multimedia Style Sheet Systems
Abstract. Multimedia style sheet systems uniformly use a constraintbased model of layout. Constraints provide a uniform mechanism for all aspects of style management and layout and...
Terry Cumaranatunge, Ethan V. Munson
MICCAI
1998
Springer
15 years 11 months ago
Multi-modal Volume Registration Using Joint Intensity Distributions
Abstract. The registration of multimodal medical images is an important tool in surgical applications, since different scan modalities highlight complementary anatomical structures...
Michael E. Leventon, W. Eric L. Grimson
« Prev « First page 4241 / 4889 Last » Next »