Sciweavers

3104 search results - page 328 / 621
» A High Performance Kernel-Less Operating System Architecture
Sort
View
119
Voted
IPM
2006
100views more  IPM 2006»
15 years 3 months ago
Automatic indexing of online health resources for a French quality controlled gateway
The profusion of online resources calls for tools and methods to help Internet users find precisely what they are looking for. Quality controlled gateway CISMeF provides such serv...
Aurélie Névéol, Alexandrina R...
136
Voted
FMSD
2006
83views more  FMSD 2006»
15 years 3 months ago
A Framework for Modeling the Distributed Deployment of Synchronous Designs
Synchronous specifications are appealing in the design of large scale hardware and software systems because of their properties that facilitate verification and synthesis. When the...
Luca P. Carloni, Alberto L. Sangiovanni-Vincentell...
147
Voted
DAC
2010
ACM
15 years 2 months ago
SCEMIT: a systemc error and mutation injection tool
As high-level models in C and SystemC are increasingly used for verification and even design (through high-level synthesis) of electronic systems, there is a growing need for com...
Peter Lisherness, Kwang-Ting (Tim) Cheng
128
Voted
VTC
2007
IEEE
130views Communications» more  VTC 2007»
15 years 10 months ago
Cross-Correlation Analysis of Generalized Distributed Antenna Systems with Cooperative Diversity
— In this paper, geometry-based channel models are proposed to describe the topology of generalized distributed antenna systems with cooperative diversity (GDAS-CD). The system a...
Yifan Chen, Chau Yuen, Yan Zhang, Zhenrong Zhang
172
Voted
RTAS
2010
IEEE
15 years 1 months ago
Using PCM in Next-generation Embedded Space Applications
Abstract--Dynamic RAM (DRAM) has been the best technology for main memory for over thirty years. In embedded space applications, radiation hardened DRAM is needed because gamma ray...
Alexandre Peixoto Ferreira, Bruce R. Childers, Ram...