1287 search results - page 41 / 258 » Towards system software for physical space applications |
CODES
2006
IEEE
14 years 1 months ago
2006
IEEE
Multi-million gate System-on-Chip (SoC) designs increasingly rely on Intellectual Property (IP) blocks. However, due to technology scaling the leakage power consumption of the IP ...
IFL
2005
Springer
14 years 1 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...
CLEIEJ
2006
13 years 7 months ago
2006
The proposed software technique is a very low cost and an effective solution towards designing Byzantine fault tolerant computing application systems that are not so safety critic...
CSFW
2010
IEEE
13 years 11 months ago
2010
IEEE
—Although policy compliance testing is generally treated as a binary decision problem, the evidence gathered during the trust management process can actually be used to examine t...
SIGMOD
2003
ACM
14 years 7 months ago
2003
ACM
A number of researchers have become interested in the design of global-scale networked systems and applications. Our thesis here is that the database community's principles a...