Sciweavers

1199 search results - page 112 / 240
» How to Compare the Power of Computational Models
Sort
View
IEEESCC
2005
IEEE
16 years 1 days ago
Web Services Composition: A Story of Models, Automata, and Logics
eal world”, represented abstractly using (time-varying) first-order logic predicates and terms. A representative composition result [11] here uses a translation into Petri nets. ...
Richard Hull
HIPEAC
2009
Springer
16 years 1 months ago
Predictive Runtime Code Scheduling for Heterogeneous Architectures
Heterogeneous architectures are currently widespread. With the advent of easy-to-program general purpose GPUs, virtually every recent desktop computer is a heterogeneous system. Co...
Víctor J. Jiménez, Lluís Vila...
PACT
1997
Springer
15 years 10 months ago
Viability of Multithreading on Networks of Workstations
Abstract. Recent trend in high-performance computing focuses on networks of workstations (NOWs) as a way ofrealizing cost-effective parallel machines. This has been due to the avai...
Hantak Kwak, Ben Lee, Ali R. Hurson
MICCAI
2008
Springer
16 years 7 months ago
Model-Based Segmentation of Hippocampal Subfields in Ultra-High Resolution In Vivo MRI
Recent developments in MR data acquisition technology are starting to yield images that show anatomical features of the hippocampal formation at an unprecedented level of detail, p...
Koen Van Leemput, Akram Bakkour, Thomas Benner, ...
CG
2007
Springer
15 years 6 months ago
An evaluation of user experience with a sketch-based 3D modeling system
With the availability of pen-enabled digital hardware, sketch-based 3D modeling is becoming an increasingly attractive alternative to traditional methods in many design environmen...
Levent Burak Kara, Kenji Shimada, Sarah D. Marmale...