882 search results - page 40 / 177 » Data management mechanisms for embedded system gateways |
164
click to vote
IH
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Information hiding has been studied in many security applications such as authentication, copyright management and digital forensics. In this work, we introduce a new app...
149
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
This paper studies a general dynamic buffer management problem with one buffer inserted between two interacting components. The component to be controlled is assumed to have multi...
190
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
Social insect societies and more specifically ant colonies, are distributed systems that, in spite of the simplicity of their individuals, present a highly structured social organi...
185
click to vote
ASPLOS
2006
ACM
16 years 5 days ago
2006
ACM
While hardware instruction caches are present in virtually all general-purpose and high-performance microprocessors today, many embedded processors use SRAM or scratchpad memories...
176
click to vote
TPHOL
2007
IEEE
16 years 14 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...