Sciweavers

8766 search results - page 1477 / 1754
» Functional logic programming
Sort
View
122
Voted
GLOBECOM
2007
IEEE
15 years 7 months ago
Efficient Scheduling for Heterogeneous Services in OFDMA Downlink
We consider optimal allocation of resources to users in a downlink OFDMA system to support heterogeneous applications consisting of both deadline-sensitive (DS) and best-effort (BE...
Rajiv Agarwal, Vinay R. Majjigi, Rath Vannithamby,...
126
Voted
HOTOS
2007
IEEE
15 years 7 months ago
Towards a Practical, Verified Kernel
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...
Kevin Elphinstone, Gerwin Klein, Philip Derrin, Ti...
129
Voted
AINA
2004
IEEE
15 years 7 months ago
WebTop XML Editor supporting Operations on Views generated by User-Defined Styles
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. ...
Hiroshi Yao, Haruhiko Toyama, Satoshi Shirai, Tats...
130
Voted
ARCS
2006
Springer
15 years 7 months ago
Large Event Traces in Parallel Performance Analysis
: 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...
Felix Wolf, Felix Freitag, Bernd Mohr, Shirley Moo...
142
Voted
CLADE
2004
IEEE
15 years 7 months ago
Support for Data-Intensive, Variable-Granularity Grid Applications via Distributed File System Virtualization - A Case Study of
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...
Jithendar Paladugula, Ming Zhao 0002, Renato J. O....
« Prev « First page 1477 / 1754 Last » Next »