Sciweavers

21437 search results - page 190 / 4288
» Hardware
Sort
View
133
Voted
CSE
2009
IEEE
15 years 9 months ago
Hardware Containers for Software Components: A Trusted Platform for COTS-Based Systems
Abstract--Much of modern software development consists of assembling together existing software components and writing the glue code that integrates them into a unified application...
Eugen Leontie, Gedare Bloom, Bhagirath Narahari, R...
DEBS
2010
ACM
15 years 9 months ago
Evaluation of streaming aggregation on parallel hardware architectures
We present a case study parallelizing streaming aggregation on three different parallel hardware architectures. Aggregation is a performance-critical operation for data summarizat...
Scott Schneider, Henrique Andrade, Bugra Gedik, Ku...
152
Voted
CGI
2004
IEEE
15 years 8 months ago
Efficient Hardware Voxelization
This paper presentes a novel algorithm for the voxelization of surface models of arbitrary topology. Our algorithm uses the depth and stencil buffers, available in most commercial...
Georgios Passalis, Ioannis A. Kakadiaris, Theohari...
116
Voted
FASE
2010
Springer
15 years 8 months ago
An Automata-Theoretic Approach to Hardware/Software Co-verification
Abstract. In this paper, we present an automata-theoretic approach to Hardware/Software (HW/SW) co-verification. We designed a co-specification framework describing HW/SW systems; ...
Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, C...
152
Voted
CASES
2005
ACM
15 years 7 months ago
Hardware support for code integrity in embedded processors
Computer security becomes increasingly important with continual growth of the number of interconnected computing platforms. Moreover, as capabilities of embedded processors increa...
Milena Milenkovic, Aleksandar Milenkovic, Emil Jov...