2604 search results - page 465 / 521 » General constant expressions for system programming language... |
135
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
There has been a growing interest in designing multi-agent based interactive dramas. A key research challenge faced in the design of these systems is to support open-ended user in...
108
Voted
ITICSE
2010
ACM
15 years 8 months ago
2010
ACM
This paper introduces the SOM (Simple Object Machine) family of virtual machine (VM) implementations, a collection of VMs for the same Smalltalk dialect addressing students at di�...
114
Voted
CASES
2009
ACM
15 years 10 months ago
2009
ACM
This paper solves the open problem of extracting the maximal number of iterations from a loop that can be executed in parallel on chip multiprocessors. Our algorithm solves it opt...
130
Voted
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
144
Voted
DIAGRAMS
2006
Springer
15 years 7 months ago
2006
Springer
Drawings of water are the earliest, least abstract forms of flow diagram. Representations of ideal or generalised sequences for manufacturing or actual paths for materials between ...