7892 search results - page 128 / 1579 » Programming with Models |
ANSS
2004
IEEE
15 years 5 months ago
2004
IEEE
A new object-oriented version of the SIMSCRIPT programming language is under development. Incorporating modules and object classes, the new language is designed for modular, objec...
SIGCSE
2010
ACM
15 years 8 months ago
2010
ACM
The technique of scaling hardware performance through increasing the number of cores on a chip requires programmers to learn to write parallel code that can exploit this hardware....
101
click to vote
TARK
2009
Springer
15 years 8 months ago
2009
Springer
Tennenholtz (GEB 2004) developed Program Equilibrium to model play in a finite twoplayer game where each player can base their strategy on the other player’s strategies. Tennen...
APLAS
2005
ACM
15 years 3 months ago
2005
ACM
In this paper we propose a new parametric abstract finite model of Mobile Ambients able to express several properties on processes. The model can be used for the analysis of these...
115
click to vote
ICLP
2005
Springer
15 years 7 months ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...