1464 search results - page 45 / 293 » Behavioral optimization using the manipulation of timing con... |
105
click to vote
INFOCOM
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—We investigate optimal resource allocation for delaylimited cooperative communication in time varying wireless networks. Motivated by real-time applications that have st...
108
click to vote
PADL
2004
Springer
15 years 6 months ago
2004
Springer
Message Sequence Charts (MSC) have traditionally been used as a weak form of behavioral requirements in software design; they denote scenarios which may happen. Live Sequence Chart...
119
click to vote
JAR
2006
15 years 1 months ago
2006
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
121
click to vote
RTSS
2006
IEEE
15 years 7 months ago
2006
IEEE
We present an optimal real-time scheduling algorithm for multiprocessors — one that satisfies all task deadlines, when the total utilization demand does not exceed the utilizat...
104
click to vote
HAPTICS
2010
IEEE
15 years 2 days ago
2010
IEEE
We present a new approach for realistic visio-haptic simulation of nonlinear and viscoelastic behavior of an organ tissue using a particle model. The spring and damper coefficients...