4887 search results - page 363 / 978 » System Level Design Using C |
194
click to vote
PST
2008
15 years 8 months ago
2008
In this paper we develop a security verification framework for open source software with a multi-language support. We base our approach on the GCC compiler which is considered as ...
169
click to vote
CSB
2003
IEEE
16 years 2 days ago
2003
IEEE
Peptide-based vaccines, in which small peptides derived from target proteins (epitopes) are used to provoke an immune reaction, have attracted considerable attention recently as a...
178
Voted
SIGMOD
2010
ACM
15 years 11 months ago
2010
ACM
As the study of graphs, such as web and social graphs, becomes increasingly popular, the requirements of efficiency and programming flexibility of large graph processing tasks c...
176
click to vote
IWCMC
2006
ACM
16 years 22 days ago
2006
ACM
Cross-Layer design has been the focus of several recent research efforts. Due to the highly variable nature of the links used in wireless communication systems and the resource-po...
150
click to vote
DSN
2005
IEEE
16 years 12 days ago
2005
IEEE
We propose a novel method to measure the dependability of journaling file systems. In our approach, we build models of how journaling file systems must behave under different jo...