4716 search results - page 796 / 944 » Iterative-free program analysis |
162
click to vote
STACS
2007
Springer
15 years 10 months ago
2007
Springer
Fixed point equations x = f(x) over ω-continuous semirings can be seen as the mathematical foundation of interprocedural program analysis. The sequence 0, f(0), f2 (0), . . . conv...
133
click to vote
UM
2007
Springer
15 years 10 months ago
2007
Springer
Motivation is well-known for its importance in learning and its influence on cognitive processes. Adaptive systems would greatly benefit from having a user model of the learner’s...
129
click to vote
ESCIENCE
2006
IEEE
15 years 10 months ago
2006
IEEE
TextGrid is a new Grid project in the framework of the German D-Grid initiative, with the aim to deploy Grid technologies for humanities scholars working on historical (German) te...
142
click to vote
ICAC
2006
IEEE
15 years 10 months ago
2006
IEEE
— The increasing heterogeneity, dynamism, and uncertainty of emerging DCE (Distributed Computing Environment) systems imply that an application must be able to detect and adapt t...
137
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
The GCA (Global Cellular Automata) model consists of a collection of cells which change their states synchronously depending on the states of their neighbors like in the classical...