Sciweavers

3305 search results - page 243 / 661
» Models and Modeling Infrastructures for Global Computational...
Sort
View
DATE
2009
IEEE
92views Hardware» more  DATE 2009»
15 years 10 months ago
WCRT algebra and interfaces for esterel-style synchronous processing
—The synchronous model of computation together with a suitable execution platform facilitates system-level timing predictability. This paper introduces an algebraic framework for...
Michael Mendler, Reinhard von Hanxleden, Claus Tra...
SIGSOFT
2010
ACM
15 years 1 months ago
Top ten ways to make formal methods for HPC practical
Almost all fundamental advances in science and engineering crucially depend on the availability of extremely capable high performance computing (HPC) systems. Future HPC systems w...
Ganesh Gopalakrishnan, Robert M. Kirby
MIS
2001
Springer
89views Multimedia» more  MIS 2001»
15 years 8 months ago
Multimedia Metacomputing
The concept of multimedia metacomputing involves the formation of a large scale loosely coupled multiprocessing environment capable of performing complex transformations on media ...
Ulrich Marder, Jernej Kovse
CORR
2006
Springer
99views Education» more  CORR 2006»
15 years 4 months ago
Pathways: Augmenting interoperability across scholarly repositories
Abstract In the emerging eScience environment, repositories of papers, datasets, software, etc., should be the foundation of a global and natively-digital scholarly communications ...
Simeon Warner, Jeroen Bekaert, Carl Lagoze, Xiaomi...
ICCV
2007
IEEE
16 years 6 months ago
Enabling Users to Guide the Design of Robust Model Fitting Algorithms
Model-based image interpretation extracts high-level information from images using a priori knowledge about the object of interest. The computational challenge in model fitting is...
Matthias Wimmer, Freek Stulp, Bernd Radig