5639 search results - page 374 / 1128 » Timed Abstract Non-interference |
111
click to vote
SWAT
1992
Springer
15 years 8 months ago
1992
Springer
Abstract. In a decision tree model, (n log2 n m i=1 ni log2 ni + n) is known to be a lower bound for sorting a multiset of size n containing m distinct elements, where the ith dist...
124
click to vote
ASPDAC
2007
ACM
15 years 8 months ago
2007
ACM
Abstract-- The increasing processing power of embedded devices have created the scope for certain applications that could previously be executed in desktop environments only, to mi...
128
click to vote
ASPDAC
2007
ACM
15 years 8 months ago
2007
ACM
Abstract-- We present the short-circuit code transformation technique, intended for embedded compilers. The transformation technique optimizes conditional blocks in high-level prog...
132
click to vote
DAWAK
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Detecting repeated portions of strings has important applications to many areas of study including data compression and computational biology. This paper defines and pres...
130
click to vote
ICDE
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper, we propose a simple and flexible execution model that (i) supports a wide spectrum of alternative optimization and execution strategies and their mixtures, (ii) pro...