Sciweavers

1926 search results - page 329 / 386
» Hierarchical Peer-to-Peer Systems
Sort
View
98
Voted
CONCUR
2003
Springer
15 years 5 months ago
A Compositional Semantic Theory for Synchronous Component-based Design
Abstract. Digital signal processing and control (DSPC) tools allow application developers to assemble systems by connecting predefined components in signal–flow graphs and by h...
Barry Norton, Gerald Lüttgen, Michael Mendler
112
Voted
ICTCS
2003
Springer
15 years 5 months ago
On the Computational Complexity of Cut-Elimination in Linear Logic
Abstract. Given two proofs in a logical system with a confluent cutelimination procedure, the cut-elimination problem (CEP) is to decide whether these proofs reduce to the same no...
Harry G. Mairson, Kazushige Terui
CLUSTER
2002
IEEE
15 years 5 months ago
I/O Analysis and Optimization for an AMR Cosmology Application
In this paper, we investigate the data access patterns and file I/O behaviors of a production cosmology application that uses the adaptive mesh refinement (AMR) technique for it...
Jianwei Li, Wei-keng Liao, Alok N. Choudhary, Vale...
HICSS
2002
IEEE
130views Biometrics» more  HICSS 2002»
15 years 5 months ago
Using the XML-Based Clinical Document Architecture for Exchange of Structured Discharge Summaries
The XML-based Clinical Document Architecture (CDA) for document exchange defines a three-level document architecture with each higher level adding more specificity to the markup o...
Grace I. Paterson, Michael A. Shepherd, Xiaoli Wan...
113
Voted
INFOCOM
2002
IEEE
15 years 5 months ago
An Unequal Error Protection Method for Packet Loss Resilient 3-D Mesh Transmission
—In this paper, a packet-loss resilient, bandwidth-scalable 3-D graphics streaming system is proposed. It uses the Compressed Progressive Mesh (CPM) algorithm [1] to generate a h...
Ghassan Al-Regib, Yucel Altunbasak