Sciweavers

558 search results - page 63 / 112
» A declarative framework for adaptable applications in hetero...
Sort
View
ECBS
1996
IEEE
155views Hardware» more  ECBS 1996»
13 years 12 months ago
Model-Integrated Program Synthesis Environment
In this paper, it is shown that, through the use of Model-Integrated Program Synthesis MIPS, parallel real-time implementations of image processing data ows can be synthesized fro...
Janos Sztipanovits, Gabor Karsai, Hubertus Franke
ICDE
1999
IEEE
97views Database» more  ICDE 1999»
14 years 9 months ago
Systematic Multiresolution and Its Application to the World Wide Web
Many emerging environments are increasingly facing the problem where the requirements of applications easily outstrip the system resources. This is particularly acute in the World...
Swarup Acharya, Henry F. Korth, Viswanath Poosala
ICFP
2008
ACM
14 years 7 months ago
A scheduling framework for general-purpose parallel languages
The trend in microprocessor design toward multicore and manycore processors means that future performance gains in software will largely come from harnessing parallelism. To reali...
Matthew Fluet, Mike Rainey, John H. Reppy
ENTCS
2006
164views more  ENTCS 2006»
13 years 7 months ago
Adaptive Medical Workflow Management for a Context-Dependent Home Healthcare Assistance Service
The provision of health-care services and home assistance to the elderly and chronic patients is a challenging application scenario for Web Services composition, which support the...
Liliana Ardissono, Antonio Di Leva, Giovanna Petro...
BMCBI
2010
178views more  BMCBI 2010»
13 years 7 months ago
Applications of a formal approach to decipher discrete genetic networks
Background: A growing demand for tools to assist the building and analysis of biological networks exists in systems biology. We argue that the use of a formal approach is relevant...
Fabien Corblin, Eric Fanchon, Laurent Trilling