2615 search results - page 306 / 523 » Analysis of Real Time Operating System Based Applications |
124
click to vote
CASES
2009
ACM
15 years 10 months ago
2009
ACM
Accurate estimation of the tick length of a synchronous program is essential for efficient and predictable implementations that are devoid of timing faults. The techniques to dete...
133
click to vote
ICPR
2008
IEEE
16 years 4 months ago
2008
IEEE
Given a query iris image, the goal of indexing is to identify and retrieve a small subset of candidate irides from the database in order to determine a possible match. This can si...
141
Voted
IFL
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
151
click to vote
MICRO
2003
IEEE
15 years 8 months ago
2003
IEEE
With power dissipation becoming an increasingly vexing problem across many classes of computer systems, measuring power dissipation of real, running systems has become crucial for...
165
Voted
SIGMOD
2012
ACM
13 years 6 months ago
2012
ACM
It is often highly valuable for organizations to have their data analyzed by external agents. However, any program that computes on potentially sensitive data risks leaking inform...