5241 search results - page 404 / 1049 » Embedded Programming with C |
215
click to vote
ATVA
2008
Springer
15 years 9 months ago
2008
Springer
e Abstraction Arie Gurfinkel1 , Ou Wei2 , and Marsha Chechik2 1 Software Engineering Institute, Carnegie Mellon University 2 Department of Computer Science, University of Toronto A...
180
Voted
SIAMJO
2008
15 years 7 months ago
2008
Recently, a semidefinite programming (SDP) relaxation approach has been proposed to solve the sensor network localization problem. Although it achieves high accuracy in estimating ...
213
click to vote
IAT
2010
IEEE
15 years 5 months ago
2010
IEEE
Distributed load managers exhibit thrashing where tasks are repeatedly moved between locations due to incomplete global load information. This paper shows that systems of Autonomou...
229
click to vote
PC
2012
14 years 2 months ago
2012
This paper describes a safe and efficient combination of the object-based message-driven execution and shared array parallel programming models. In particular, we demonstrate how ...
210
Voted
CAV
2012
Springer
13 years 9 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...