754 search results - page 79 / 151 » Architectural Abstractions for Hybrid Programs |
114
Voted
IEEECIT
2009
IEEE
14 years 10 months ago
2009
IEEE
Abstract--The size, heterogeneity and dynamism of the execution platforms of scientific applications, like computational grids, make using those platforms complex. Furthermore, tod...
84
Voted
ECOOP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In many domains, classes have highly regular internal structure. For example, so-called business objects often contain boilerplate code for mapping database fields to cl...
112
click to vote
CPAIOR
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. The stochastic satisfiability modulo theories (SSMT) problem is a generalization of the SMT problem on existential and randomized (aka. stochastic) quantification over di...
104
click to vote
IFL
2004
Springer
15 years 6 months ago
2004
Springer
Landin’s SECD machine was the first abstract machine for the λ-calculus viewed as a programming language. Both theoretically as a model of computation and practically as an ide...
101
Voted
CADE
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...