7103 search results - page 510 / 1421 » Program Generation and Components |
117
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
Model checking, logging, debugging, and checkpointing/recovery are great tools to identify bugs in small sequential programs. The direct application of these techniques to the dom...
131
click to vote
TPHOL
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract We present the generic system framework of Isabelle/Isar underlying recent versions of Isabelle. Among other things, Isar provides an infrastructure for Isabelle plug-ins,...
143
Voted
ERLANG
2006
ACM
15 years 11 months ago
2006
ACM
This paper describes the lessons learnt when internally developing web applications in Erlang. On the basis of these experiences, a framework called the Web Platform has been impl...
140
click to vote
METRICS
2005
IEEE
15 years 10 months ago
2005
IEEE
In the high performance computing domain, the speed of execution of a program has typically been the primary performance metric. But productivity is also of concern to high perfor...
143
Voted
CD
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The ability to deploy Grid infrastructure and services across organizational boundaries (rapidly, reliably, and scalably) is critical for the success of large-scale servi...