Sciweavers

11752 search results - page 57 / 2351
» Those
Sort
View
RTCSA
2009
IEEE
15 years 4 months ago
Towards Real Multi-criticality Scheduling
—Componentised systems, in particular those with fault confinement through address spaces, are currently emerging as a hot topic in embedded systems research. This paper extends...
Stefan M. Petters, Martin Lawitzky, Ryan Heffernan...
63
Voted
ESA
2009
Springer
77views Algorithms» more  ESA 2009»
15 years 4 months ago
Short Labels for Lowest Common Ancestors in Trees
We evaluate the practical performance of labeling schemes for lowest common ancestors in trees. We develop different variants for encoding the labels. We then perform a thorough e...
Johannes Fischer
LFCS
2009
Springer
15 years 4 months ago
Positive Fork Graph Calculus
We introduce and illustrate a graph calculus for proving and deciding the positive identities and inclusions of fork algebras, i.e., those without occurrences of complementation. ...
Renata P. de Freitas, Sheila R. M. Veloso, Paulo A...
84
Voted
IWCMC
2009
ACM
15 years 4 months ago
Using link-layer broadcast to improve scalable source routing
Scalable source routing (SSR) is a network layer routing protocol that provides services that are similar to those of structured peer-to-peer overlays. In this paper, we describe ...
Pengfei Di, Thomas Fuhrmann
68
Voted
GLOBECOM
2008
IEEE
15 years 4 months ago
Small Logarithmic S-Boxes for Small Ciphers
-- The substitution box (S-Box) is one of the most important components in modern ciphers. This paper reports a new class of S-Boxes defined by the logarithmic functions in GF(16)....
Xian Liu