28888 search results - page 75 / 5778 » Computability and complexity in analysis |
TGC
2010
Springer
13 years 5 months ago
2010
Springer
Static analysers are becoming so complex that it is crucial to ascertain the soundness of their results in a provable way. In this paper we develop a certified checker in Coq that ...
EACL
2009
ACL Anthology
2009
ACL Anthology
Semitic Morphological Analysis and Generation Using Finite State Transducers with Feature Structures
14 years 8 months ago
This paper presents an application of finite state transducers weighted with feature structure descriptions, following Amtrup (2003), to the morphology of the Semitic language Tig...
SC
2005
ACM
14 years 1 months ago
2005
ACM
We present the development and use of a novel distributed geohazard modeling environment for the analysis and interpretation of large scale earthquake data sets. Our work demonstr...
IEEEPACT
2006
IEEE
14 years 2 months ago
2006
IEEE
Modeling and analysis of program behavior are at the foundation of computer system design and optimization. As computer systems become more adaptive, their efficiency increasingly...
IPPS
2003
IEEE
14 years 1 months ago
2003
IEEE
We propose a method for the timing analysis of concurrent real-time programs with hard deadlines. We divide the analysis into a machine-independent and a machinedependent task. Th...