114 search results - page 16 / 23 » Points-To Analysis for Java using Annotated Constraints |
126
click to vote
NAR
2011
14 years 4 months ago
2011
MicroRNA expression and sequence analysis database (http://konulab.fen.bilkent.edu.tr/mirna/) (mESAdb) is a regularly updated database for the multivariate analysis of sequences a...
190
click to vote
TII
2011
14 years 8 months ago
2011
Abstract—Software systems that do not meet their timing constraints can cause risks. In this work, we propose a comprehensive method for assessing the risk of timing failure by e...
140
click to vote
ESOP
2009
Springer
15 years 8 months ago
2009
Springer
Hofmann and Jost have presented a heap space analysis [1] that finds linear space bounds for many functional programs. It uses an amortised analysis: assigning hypothetical amount...
135
click to vote
MVA
2006
15 years 1 months ago
2006
Abstract This paper presents an approach to designing and implementing extensible computational models for perceiving systems based on a knowledge-driven joint inference approach. ...
LREC
2010
15 years 3 months ago
2010
In this paper we present a partial dependency parser for Irish, in which Constraint Grammar (CG) rules are used to annotate dependency relations and grammatical functions in unres...