Sciweavers

10441 search results - page 1713 / 2089
» Performance modeling of heterogeneous systems
Sort
View
WCRE
1999
IEEE
15 years 11 months ago
Software Architectural Transformation
Software architecture, as a vehicle for communication and reasoning about software systems and their quality, is becoming an area of focus in both the forward- and reverseengineer...
S. Jeromy Carrière, Steven G. Woods, Rick K...
ICLP
1998
Springer
15 years 11 months ago
Efficient Implementation of a Linear Logic Programming Language
A number of logic programming languages based on Linear Logic [3] have been proposed. However, the implementation techniques proposed for these languages have relied heavily on th...
Joshua S. Hodas, K. M. Watkins, Naoyuki Tamura, Ky...
174
Voted
GLVLSI
1997
IEEE
110views VLSI» more  GLVLSI 1997»
15 years 11 months ago
Algorithm and Hardware Support for Branch Anticipation
Multi-dimensional systems containing nested loops are widely used to model scientific applications such as image processing, geophysical signal processing and fluid dynamics. Ho...
Ted Zhihong Yu, Edwin Hsing-Mean Sha, Nelson L. Pa...
MICCAI
1998
Springer
15 years 11 months ago
Three-Dimensional Reconstruction and Surgical Navigation in Pediatric Epilepsy Surgery
Abstract. We have used MRI-based three-dimensional (3D) reconstruction and a real-time, frameless, stereotactic navigation device to facilitate the removal of seizure foci in child...
Alexandra Chabrerie, Fatma Ozlen, Shin Nakajima, M...
ICECCS
1997
IEEE
125views Hardware» more  ICECCS 1997»
15 years 11 months ago
Client--Access Protocols for Replicated Services
The paper addresses the problem of client–service interaction in the case of replicated service provision. Existing systems that follow the State Machine approach concentrate on...
Christos T. Karamanolis, Jeff Magee
« Prev « First page 1713 / 2089 Last » Next »