Sciweavers

4353 search results - page 511 / 871
» Computational Challenges of Systems Biology
Sort
View
LCTRTS
2005
Springer
16 years 9 days ago
Nonintrusive precision instrumentation of microcontroller software
Debugging, testing, and profiling microcontroller programs are notoriously difficult. The lack of supporting software such as an operating system, a narrow interface to the hard...
Ben Titzer, Jens Palsberg
GRID
2004
Springer
16 years 6 days ago
A Novel Architecture for Realizing Grid Workflow using Tuple Spaces
Grid workflow can be defined as the composition of grid application services which execute on heterogeneous and distributed resources in a well-defined order to accomplish a speci...
Jia Yu, Rajkumar Buyya
IJCNLP
2004
Springer
16 years 5 days ago
Improving Back-Transliteration by Combining Information Sources
Transliterating words and names from one language to another is a frequent and highly productive phenomenon. Transliteration is information loosing since important distinctions ar...
Slaven Bilac, Hozumi Tanaka
ICCS
2003
Springer
16 years 1 days ago
Formalizing Botanical Taxonomies
Because botanical taxonomies are prototypical classifications it would seem that it should be easy to formalize them as concept lattices or type hierarchies. On closer inspection,...
Uta Priss
ECOOP
2010
Springer
15 years 11 months ago
Reasoning about the Implementation of Concurrency Abstractions on x86-TSO
ncy Abstractions on x86-TSO Scott Owens University of Cambridge Abstract. With the rise of multi-core processors, shared-memory concurrency has become a widespread feature of compu...
Scott Owens