Sciweavers

1159 search results - page 126 / 232
» Adding Concurrency to a Programming Language
Sort
View
POPL
2009
ACM
14 years 9 months ago
The semantics of x86-CC multiprocessor machine code
Multiprocessors are now dominant, but real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and verification. Instead, t...
Susmit Sarkar, Peter Sewell, Francesco Zappa Narde...
AGENTS
2000
Springer
14 years 1 months ago
Tools for Developing and Monitoring Agents in Distributed Multi-Agent Systems
Before the powerful agent programming paradigm can be adopted in commercial or industrial settings, a complete environment, similar to that for other programming languages, must b...
John R. Graham, Daniel McHugh, Michael Mersic, Fos...
UM
2007
Springer
14 years 3 months ago
Conversations Amidst Computing: A Study of Interruptions and Recovery of Task Activity
We present results from a field study investigating the influence of conversations on the multitasking behavior of computer users. We report on several findings, including the timi...
Shamsi T. Iqbal, Eric Horvitz
TCS
2010
13 years 7 months ago
On the computational power of BlenX
We present some decidability and undecidability results for subsets of the BlenX Language, a process-calculi-based programming language developed for modelling biological processe...
Alessandro Romanel, Corrado Priami
TOOLS
2010
IEEE
14 years 1 months ago
Read-Only Execution for Dynamic Languages
Supporting read-only and side effect free execution has been the focus of a large body of work in the area of statically typed programming languages. Read-onlyness in dynamically t...
Jean-Baptiste Arnaud, Marcus Denker, Stépha...