5639 search results - page 55 / 1128 » Timed Abstract Non-interference |
108
click to vote
GAMEON
2008
15 years 1 months ago
2008
g the Fitness Landscape of an Abstract Real-Time Strategy Game David Keaveney and Colm O'Riordan ............................................................... 51
GEOINFO
2004
15 years 1 months ago
2004
ceptual, or abstract level, a value of type moving point (type mpoint, for short) is a function from time into point values, and a moving region (mregion) value is a function from ...
CDC
2009
IEEE
14 years 9 months ago
2009
IEEE
Abstract-- We introduce an extension of the notion of homogeneous approximation to make it valid both at the origin and at infinity (homogeneity in the bi-limit). Exploiting this e...
162
click to vote
EVOW
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. Electronic embedded systems designers aim at finding a tradeoff between cost and power consumption. As cache memory management has been shown to have a significant imp...
FMICS
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. The design flow of systems-on-a-chip (SoCs) identifies several abstraction levels higher than the Register-Transfer-Level that constitutes the input of the synthesis tool...