12981 search results - page 2437 / 2597 » Model Checking (Abstract) |
142
click to vote
NFM
2011
14 years 10 months ago
2011
Abstract. Data race is one of the most dangerous errors in multithreaded programming, and despite intensive studies, it remains a notorious cause of failures in concurrent systems....
130
Voted
SIAMJO
2011
14 years 10 months ago
2011
Abstract. We propose a unifying framework for polyhedral approximation in convex optimization. It subsumes classical methods, such as cutting plane and simplicial decomposition, bu...
160
Voted
TMC
2011
14 years 10 months ago
2011
—Vehicular networks (VANETs) can be used to improve transportation security, reliability, and management. This paper investigates security aspects of VANETs within a game-theoret...
142
Voted
TWC
2011
14 years 10 months ago
2011
Abstract—In this paper we consider wireless cooperative multihop networks, where nodes that have decoded the message at the previous hop cooperate in the transmission toward the ...
110
Voted
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract--In this note, we consider the robust stability of sampleddata systems with respect to continuous-time delay. We argue that many results in the literature implicitly assum...