Sciweavers

10055 search results - page 1772 / 2011
» Structured programming using processes
Sort
View
IJHPCA
2006
117views more  IJHPCA 2006»
15 years 2 months ago
Recent Developments in Gridsolve
The purpose of GridSolve is to create the middleware necessary to provide a seamless bridge between the simple, standard programming interfaces and desktop systems that dominate t...
Asim YarKhan, Keith Seymour, Kiran Sagi, Zhiao Shi...
MCS
2008
Springer
15 years 2 months ago
Numerical optimal control of the wave equation: optimal boundary control of a string to rest in finite time
In many real-life applications of optimal control problems with constraints in form of partial differential equations (PDEs), hyperbolic equations are involved which typically desc...
Matthias Gerdts, Günter Greif, Hans Josef Pes...
NAR
2008
78views more  NAR 2008»
15 years 2 months ago
InParanoid 6: eukaryotic ortholog clusters with inparalogs
The InParanoid eukaryotic ortholog database (http://InParanoid.sbc.su.se/) has been updated to version 6 and is now based on 35 species. We collected all available `complete'...
Ann-Charlotte Berglund, Erik Sjölund, Gabriel...
KES
2006
Springer
15 years 2 months ago
Integrated Document Browsing and Data Acquisition for Building Large Ontologies
Named entities (e.g., "Kofi Annan", "Coca-Cola", "Second World War") are ubiquitous in web pages and other types of document and often provide a simpl...
Felix Weigel, Klaus U. Schulz, Levin Brunner, Edua...
LISP
2006
160views more  LISP 2006»
15 years 2 months ago
Formal compiler construction in a logical framework
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present a new approach based on the igher-order abstract syntax and ...
Jason Hickey, Aleksey Nogin
« Prev « First page 1772 / 2011 Last » Next »