1229 search results - page 219 / 246 » Graph-Based Design and Analysis of Dynamic Software Architec... |
123
Voted
PLDI
1994
ACM
15 years 6 months ago
1994
ACM
As microprocessor speeds increase, memory bandwidth is increasing y the performance bottleneck for microprocessors. This has occurred because innovation and technological improvem...
115
click to vote
ICFEM
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
113
click to vote
WISEC
2010
ACM
15 years 9 months ago
2010
ACM
We propose a novel trap-based architecture for enterprise networks that detects “silent” attackers who are eavesdropping network traffic. The primary contributions of our work...
109
click to vote
HPDC
2002
IEEE
15 years 6 months ago
2002
IEEE
We present NeST, a flexible software-only storage appliance designed to meet the storage needs of the Grid. NeST has three key features that make it well-suited for deployment in...
156
click to vote
IEEECGIV
2005
IEEE
15 years 7 months ago
2005
IEEE
Creating a 3-D game engine is not a trivial task as gamers often demand for high quality output with top notch performance in games. In this paper, we show you how various real-ti...