Sciweavers

931 search results - page 61 / 187
» Operating System Support for Process Confinement
Sort
View
110
Voted
CASES
2003
ACM
15 years 8 months ago
Vectorizing for a SIMdD DSP architecture
The Single Instruction Multiple Data (SIMD) model for fine-grained parallelism was recently extended to support SIMD operations on disjoint vector elements. In this paper we demon...
Dorit Naishlos, Marina Biberstein, Shay Ben-David,...
118
Voted
FDL
2005
IEEE
15 years 8 months ago
Hardware Synthesis of Parallel Machines from SystemC
Heterogeneous system specifications implicitly assume parallel execution of their components that rely on supporting platform architectures and operating systems. Unfortunately, c...
Antoni Portero, Lluis Ribas, Jordi Carrabina
103
Voted
BIRTHDAY
2010
Springer
15 years 3 months ago
Formal Semantics of a VDM Extension for Distributed Embedded Systems
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
Jozef Hooman, Marcel Verhoef
119
Voted
DEXAW
2003
IEEE
108views Database» more  DEXAW 2003»
15 years 8 months ago
Electronic Voting Systems: Security Implications of the Administrative Workflow
With the rapid growth of the Internet, online voting appears to be a reasonable alternative to conventional elections and other opinion expressing processes. Current research focu...
Costas Lambrinoudakis, Spyros Kokolakis, Maria Kar...
110
Voted
USENIX
2003
15 years 4 months ago
NCryptfs: A Secure and Convenient Cryptographic File System
Often, increased security comes at the expense of user convenience, performance, or compatibility with other systems. The right level of security depends on specific site and use...
Charles P. Wright, Michael C. Martino, Erez Zadok