826 search results - page 18 / 166 » Resolving Concurrent Interactions |
119
click to vote
SAS
2007
Springer
15 years 8 months ago
2007
Springer
Concurrent programs are difficult to verify because the proof must consider the interactions between the threads. Fine-grained concurrency and heap allocated data structures exacer...
111
Voted
ACSD
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper presents a synthesis approach for reactive systems that aims at minimizing the overhead introduced by the operating system and the interaction among the concurrent task...
117
click to vote
EURODAC
1995
IEEE
15 years 5 months ago
1995
IEEE
In this paper, we present a new model for concurrency control that supports cooperation of design tools and designers in a design environment. We capture characteristic access and...
APSEC
1997
IEEE
15 years 6 months ago
1997
IEEE
A task-type in concurrent programs is a template of task-instances which are dynamically generated in execution of the programs. The number of the generated taskinstances may not ...
CHI
2009
ACM
16 years 2 months ago
2009
ACM
We investigate the use of two concurrent input channels to perform a pointing task. The first channel is the traditional mouse input device whereas the second one is the gaze posi...