Sciweavers

366 search results - page 53 / 74
» Machine Function Based Control Code Algebras
Sort
View
AIM
2004
15 years 3 months ago
An AI Planning-based Tool for Scheduling Satellite Nominal Operations
Satellite domains are becoming a fashionable area of research within the AI community due to the complexity of the problems that these domains need to solve. With the current US a...
María Dolores Rodríguez-Moreno, Dani...
LISP
2002
135views more  LISP 2002»
15 years 3 months ago
Optimizing Nested Loops Using Local CPS Conversion
Abstract. Local CPS conversion is a compiler transformation for improving the code generated for nested loops by a direct-style compiler that uses recursive functions to represent ...
John H. Reppy
TREC
2004
15 years 5 months ago
Identifying Relevant Full-Text Articles for GO Annotation Without MeSH Terms
Gene Ontology (GO) is a controlled vocabulary. Given a gene product, GO enables scientists to clearly and unambiguously describe specific molecular functions of the gene product, ...
Chih Lee, Wen-Juan Hou, Hsin-Hsi Chen
IPPS
2003
IEEE
15 years 9 months ago
Multi-Paradigm Framework for Parallel Image Processing
A software framework for the parallel execution of sequential programs using C++ classes is presented. The functional language Concurrent ML is used to implement the underlying ha...
David J. Johnston, Martin Fleury, Andy C. Downton
OOPSLA
2007
Springer
15 years 10 months ago
Ilea: inter-language analysis across java and c
Java bug finders perform static analysis to find implementation mistakes that can lead to exploits and failures; Java compilers perform static analysis for optimization. If Java...
Gang Tan, Greg Morrisett