4835 search results - page 709 / 967 » Refactoring Functional Programs |
102
click to vote
HOTOS
2007
IEEE
15 years 4 months ago
2007
IEEE
In the paper we examine one of the issues in designing, specifying, implementing and formally verifying a small operating system kernel -- how to provide a productive and iterativ...
109
Voted
AINA
2004
IEEE
15 years 4 months ago
2004
IEEE
In this paper, we present a WebTop XML Editor by which the user can edit XML Documents on views generated by user-defined styles. Meta XSLT is the key technology of this feature. ...
105
click to vote
ARCS
2006
Springer
15 years 4 months ago
2006
Springer
: A powerful and widely-used method for analyzing the performance behavior of parallel programs is event tracing. When an application is traced, performancerelevant events, such as...
124
click to vote
CLADE
2004
IEEE
15 years 4 months ago
2004
IEEE
A key challenge faced by large-scale, distributed applications in Grid environments is efficient, seamless data management. In particular, for applications that can benefit from a...
118
click to vote
DATE
2004
IEEE
15 years 4 months ago
2004
IEEE
Energy efficient embedded systems consist of a heterogeneous collection of very specific building blocks, connected together by a complex network of many dedicated busses and inte...