10435 search results - page 1730 / 2087 » Computational Biology and Language |
211
click to vote
CGO
2008
IEEE
16 years 2 months ago
2008
IEEE
Liveness analysis is an important analysis in optimizing compilers. Liveness information is used in several optimizations and is mandatory during the code-generation phase. Two dr...
192
click to vote
EMSOFT
2007
Springer
16 years 1 months ago
2007
Springer
This paper describes techniques to estimate the worst case execution time of executable code on architectures with data caches. The underlying mechanism is Abstract Interpretation...
231
click to vote
EMSOFT
2007
Springer
16 years 1 months ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
183
click to vote
GI
2007
Springer
2007
Springer
Informationsextraktion durch Verwendung Computerlinguistischer Verfahren in Texten mit Makrostruktur
16 years 1 months ago
Abstract: In diesem Beitrag wird ein System vorgestellt, mit dem semistrukturierte militärische Aufklärungsmeldungen analysiert werden können, um ontologiegestützt ein automati...
210
click to vote
SEMWEB
2007
Springer
16 years 1 months ago
2007
Springer
Millions of research funding has been put down to develop - what I call - old forms - of reasoning that are characterized by strong focus on theoretical properties and strict adher...