899 search results - page 120 / 180 » Cost Analysis of Games, Using Program Logic |
122
click to vote
ECBS
2007
IEEE
15 years 7 months ago
2007
IEEE
Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based systems....
133
click to vote
FGCS
2007
15 years 1 months ago
2007
In this paper medical applications on a Grid infrastructure, the MAGIC-5 Project, are presented and discussed. MAGIC-5 aims at developing Computer Aided Detection (CADe) software ...
118
click to vote
BMCBI
2007
15 years 1 months ago
2007
Background: Several mathematical and statistical methods have been proposed in the last few years to analyze microarray data. Most of those methods involve complicated formulas, a...
106
Voted
ICLP
2005
Springer
15 years 7 months ago
2005
Springer
Any finite tree automaton (or regular type) can be used to construct act interpretation of a logic program, by first determinising and completing the automaton to get a pre-inter...
107
click to vote
EMSOFT
2007
Springer
15 years 7 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...