2206 search results - page 210 / 442 » On the power of coercion abstraction |
154
click to vote
GCC
2004
Springer
16 years 6 hour ago
2004
Springer
Abstract. EEMAS environment is a problem-solving environment for multidisciplinary application simulations. Within the EEMAS, there are four categories of modules involved, namely ...
161
click to vote
HUC
2004
Springer
16 years 4 hour ago
2004
Springer
Abstract. Infrastructures (persistent socio-technical systems over which services are delivered) are normally taken for granted by their users, but are powerful forces of constrain...
151
click to vote
ICALP
2004
Springer
16 years 3 hour ago
2004
Springer
Abstract We present an analog and machine-independent algebraic characterization of elementarily computable functions over the real numbers in the sense of recursive analysis: we p...
140
click to vote
ICCSA
2004
Springer
16 years 7 min ago
2004
Springer
Abstract. A number of individual bioinformatics applications (particularly BLAST and other sequence searching methods) have recently been implemented over clusters of workstations ...
159
click to vote
ICFEM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper we present a technique for the Spin tool, inspired by practical experiences with Spin and a FireWire protocol. We show how to guide simulations with Spin, b...