Sciweavers

10055 search results - page 1442 / 2011
» Structured programming using processes
Sort
View
ISPAN
1997
IEEE
15 years 9 months ago
A method for estimating optimal unrolling times for nested loops
Loop unrolling is one of the most promising parallelization techniques, because the nature of programs causes most of the processing time to be spent in their loops. Unrolling not...
Akira Koseki, Hideaki Komatsu, Yoshiaki Fukazawa
VR
1993
IEEE
15 years 9 months ago
The MR Toolkit Peers Package and Experiment
The MR Toolkit Peer Package is an extension to the MR Toolkit that allows multiple independent MR Toolkit applications to communicate with one another across the Internet. The mas...
Christopher D. Shaw, Mark Green
178
Voted
CEC
2007
IEEE
15 years 9 months ago
Evolution of classification rules for comprehensible knowledge discovery
This article, which lies within the data mining framework, proposes a method to build classifiers based on the evolution of rules. The method, named REC (Rule Evolution for Classif...
Emiliano Carreno, Guillermo Leguizamón, Nea...
122
Voted
DOCENG
2007
ACM
15 years 8 months ago
Declarative extensions of XML languages
We present a set of XML language extensions that bring notions from functional programming to web authors, extending the power of declarative modelling for the web. Our previous w...
Simon J. Thompson, Peter R. King, Patrick Schmitz
HOTOS
2007
IEEE
15 years 8 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...
« Prev « First page 1442 / 2011 Last » Next »