1392 search results - page 97 / 279 » A Calculus for Dynamic Linking |
137
click to vote
CADE
2012
Springer
13 years 6 months ago
2012
Springer
We propose a new logic, called differential dynamic game logic (dDGL), that adds several game constructs on top of differential dynamic logic (dL) so that it can be used for hybr...
140
Voted
NOCS
2009
IEEE
15 years 10 months ago
2009
IEEE
Most virtual channel routers have multiple virtual channels to mitigate the effects of head-of-line blocking. When there are more flows than virtual channels at a link, packets o...
103
click to vote
VTC
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper evaluates the effect of the channel estimation inaccuracy on the performance of an HSDPA system. This study provides some results from system level simulations that have...
125
click to vote
DAIS
2007
15 years 5 months ago
2007
Because they are required to support component deployment and composition, modern execution environments embody a number of common features such as dynamic linking and support for ...
149
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
We consider impulsive systems with several reset maps triggered by independent renewal processes, i.e., the intervals between jumps associated with a given reset map are identicall...