2512 search results - page 408 / 503 » Software Transactional Memory |
150
Voted
EMSOFT
2010
Springer
15 years 12 days ago
2010
Springer
Abstract--Cyber-Physical Systems require distributed architectures to support safety critical real-time control. Kopetz' Time-Triggered Architectures (TTA) have been proposed ...
108
click to vote
UIST
2010
ACM
15 years 8 days ago
2010
ACM
Screen-less wearable devices allow for the smallest form factor and thus the maximum mobility. However, current screen-less devices only support buttons and gestures. Pointing is ...
156
Voted
AMAST
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. This paper introduces matching logic, a novel framework for defining axiomatic semantics for programming languages, inspired from operational semantics. Matching logic sp...
178
click to vote
IUI
2011
ACM
14 years 5 months ago
2011
ACM
Protractor 3D is a gesture recognizer that extends the 2D touch screen gesture recognizer Protractor [8] to 3D gestures. It inherits many of Protractor’s desirable properties, s...
140
Voted
CC
2012
Springer
13 years 10 months ago
2012
Springer
The computational cost and precision of a shape style heap analysis is highly dependent on the way method calls are handled. This paper introduces a new approach to analyzing metho...