2604 search results - page 247 / 521 » General constant expressions for system programming language... |
118
click to vote
PLDI
2012
ACM
13 years 6 months ago
2012
ACM
Self-stabilizing programs automatically recover from state corruption caused by software bugs and other sources to reach the correct state. A number of applications are inherently...
137
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
In this paper, we present the most important features of SeSAm, a modeling and simulation platform for multi-agent simulations. Based on a declarative, explicit model representati...
228
click to vote
CC
2009
Springer
16 years 4 months ago
2009
Springer
Register allocation decides which parts of a variable's live range are held in registers and which in memory. The compiler inserts spill code to move the values of variables b...
121
click to vote
SIMULATION
2002
15 years 3 months ago
2002
Trend is a two dimensional cellular automata programming environment with an integrated simulator and a compiler. Trend has many unique features such as simulation backtracking, c...
262
Voted
POPL
2006
ACM
16 years 4 months ago
2006
ACM
We define a type system, which may also be considered as a simple Hoare logic, for a fragment of an assembly language that deals with code pointers and jumps. The typing is aimed ...