651 search results - page 119 / 131 » Precise Analysis of Java Programs Using JOANA |
117
click to vote
BMCBI
2007
15 years 2 months ago
2007
Background: Identifying relevant research in an ever-growing body of published literature is becoming increasingly difficult. Establishing domain-specific knowledge bases may be a...
111
click to vote
RV
2010
Springer
15 years 16 days ago
2010
Springer
Researchers have developed a number of runtime verification tools that generate runtime monitors in the form of AspectJ aspects. In this work, we present Clara, a novel framework ...
138
click to vote
LPAR
2001
Springer
15 years 6 months ago
2001
Springer
Several logic-based languages, such as Prolog II and its successors, SICStus Prolog and Oz, offer a computation domain including rational trees. Infinite rational trees allow fo...
121
click to vote
BMCBI
2006
15 years 2 months ago
2006
Background: Application of phenetic methods to gene expression analysis proved to be a successful approach. Visualizing the results in a 3-dimentional space may further enhance th...
218
click to vote
ASPLOS
2009
ACM
16 years 2 months ago
2009
ACM
The growth in complexity of modern systems makes it increasingly difficult to extract high-performance. The software stacks for such systems typically consist of multiple layers a...