1615 search results - page 234 / 323 » Adaptive programming in JAsCo |
127
click to vote
CD
2004
Springer
15 years 8 months ago
2004
Springer
Physical boundaries have caused software systems to become less monolithic and more distributed. The trend is progressing to a point where software systems will consist of numerous...
132
Voted
PPOPP
2009
ACM
16 years 3 months ago
2009
ACM
Understanding why the performance of a multithreaded program does not improve linearly with the number of cores in a sharedmemory node populated with one or more multicore process...
238
Voted
POPL
2005
ACM
16 years 3 months ago
2005
ACM
Spatial logics have been used to describe properties of treelike structures (Ambient Logic) and in a Hoare style to reason about dynamic updates of heap-like structures (Separatio...
136
click to vote
POPL
2010
ACM
16 years 23 days ago
2010
ACM
We present a verified compiler to an idealized assembly language from a small, untyped functional language with mutable references and exceptions. The compiler is programmed in th...
139
click to vote
MABS
2005
Springer
15 years 8 months ago
2005
Springer
Currently there is a diversity of tools for agent-based simulation, which can be applied to the understanding of social phenomena. Describing this kind of phenomena with a visual l...