Sciweavers

2227 search results - page 196 / 446
» Reversibility and Models for Concurrency
Sort
View
JUCS
2010
98views more  JUCS 2010»
15 years 5 months ago
Embedding Hygiene-Compatible Macros in an Unhygienic Macro System
: It is known that the essential ingredients of a Lisp-style unhygienic macro system can be expressed in terms of advanced hygienic macro systems. We show that the reverse is also ...
Pascal Costanza, Theo D'Hondt
HCI
2009
15 years 4 months ago
OntoDesk: Ontology-Based Persistent System-Wide Undo on the Desktop
Recovery is an important aspect of user experience. However, current desktop environments lack a system-wide undo facility. OntoDesk is an ontology-based experimental desktop syste...
David Nemeskey, Buntarou Shizuki, Jiro Tanaka
PPOPP
2009
ACM
16 years 1 months ago
NePalTM: design and implementation of nested parallelism for transactional memory systems
Abstract. Transactional memory (TM) promises to simplify construction of parallel applications by allowing programmers to reason about interactions between concurrently executing c...
Haris Volos, Adam Welc, Ali-Reza Adl-Tabatabai, Ta...
KBSE
2009
IEEE
16 years 1 months ago
Design Rule Hierarchies and Parallelism in Software Development Tasks
—As software projects continue to grow in scale, being able to maximize the work that developers can carry out in parallel as a set of concurrent development tasks, without incur...
Sunny Wong, Yuanfang Cai, Giuseppe Valetto, Georgi...
170
Voted
ECOOP
2010
Springer
15 years 11 months ago
Capabilities for Uniqueness and Borrowing
Abstract. An important application of unique object references is safe and efficient message passing in concurrent object-oriented programming. However, to prevent the ill effects...
Philipp Haller, Martin Odersky