434 search results - page 17 / 87 » From sequential programs to multi-tier applications by progr... |
189
click to vote
INFOCOM
2011
IEEE
14 years 1 months ago
2011
IEEE
—Cloud Computing has great potential of providing robust computational power to the society at reduced cost. It enables customers with limited computational resources to outsourc...
FPL
2005
Springer
15 years 3 months ago
2005
Springer
We present experimental evidence that multiple compute-units, compiled from sequential high-level language input programs, can be merged into a reduced number of configurations f...
86
Voted
CAI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. GP (for Graph Programs) is a rule-based, nondeterministic programming language for solving graph problems at a high level of abstraction, freeing programmers from handlin...
JUCS
2006
14 years 9 months ago
2006
Abstract: We present a novel approach to the verification of functional-logic programs. For our verification purposes, equational reasoning is not valid due to the presence of non-...
UML
2005
Springer
15 years 3 months ago
2005
Springer
This paper describes and empirically evaluates a new model-driven development framework, called Modeling Turnpike (or mTurnpike). It allows developers to model and program domain-s...