424 search results - page 68 / 85 » Realizability models and implicit complexity |
ACMSE
2004
ACM
14 years 2 months ago
2004
ACM
Component-based software development has become an important approach to building complex software systems. Much research focuses on component specification to achieve the advanta...
FPGA
2004
ACM
14 years 2 months ago
2004
ACM
The simulation of large systems of biochemical reactions is a key part of research into molecular signaling and information processing in biological cells. However, it can be impr...
ICSOC
2004
Springer
14 years 2 months ago
2004
Springer
The e-services paradigm promises to enable rich, flexible, and dynamic inter-operation of highly distributed, heterogeneous networkenabled services. Among the challenges, a funda...
VISUALIZATION
2003
IEEE
14 years 1 months ago
2003
IEEE
We present a novel technique for direct visualization of unsteady flow on surfaces from computational fluid dynamics. The method generates dense representations of time-dependen...
SC
2003
ACM
14 years 1 months ago
2003
ACM
Computational grids hold great promise in utilizing geographically separated heterogeneous resources to solve large-scale complex scientific problems. However, a number of major ...