717 search results - page 126 / 144 » Kill-safe synchronization abstractions |
104
click to vote
CAV
2012
Springer
13 years 2 months ago
2012
Springer
Abstract. We propose a trace-based concurrent program analysis to soundly remove redundant synchronizations such as locks while preserving the behaviors of the concurrent computati...
115
click to vote
COMSWARE
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract— Wireless sensor networks consist of small, inexpensive devices which interact with the environment, communicate with each other, and perform distributed computations in...
100
click to vote
KBSE
2007
IEEE
15 years 6 months ago
2007
IEEE
There are many difficulties associated with developing correct multithreaded software, and many of the activities that are simple for single threaded software are exceptionally ha...
KBSE
2002
IEEE
15 years 4 months ago
2002
IEEE
Commercial tools are heavily used, relatively cheap, well maintained, and provide powerful functionalities. However, composing these tools in order to build larger applications ra...
98
Voted
ASPDAC
2009
ACM
15 years 6 months ago
2009
ACM
Abstract— This paper presents synthesis of Hardware Dependent Software (HdS) for multicore and many-core designs using Embedded System Environment (ESE). ESE is a tool set, devel...