14190 search results - page 2663 / 2838 » Abstractions for hybrid systems |
113
click to vote
RTAS
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract—Recent results have shown that the feasibility problem of scheduling periodic tasks with self-suspensions is NPhard in the strong sense. We observe that a variation of t...
107
click to vote
SCP
2010
14 years 9 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
SIAMJO
2010
14 years 9 months ago
2010
Abstract. We present a new “lifting” approach for the solution of nonlinear optimization problems (NLPs) that have objective and constraint functions with intermediate variable...
GLOBECOM
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract-- This work deals with devising a secure, powerefficient, beam-steerable and on-chip transmission system for wireless sensor networks. A passively controllable smart (PCS)...
109
click to vote
MICRO
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--Many shared-memory parallel systems use lockbased synchronization mechanisms to provide mutual exclusion or reader-writer access to memory locations. Software locks are i...