2255 search results - page 314 / 451 » High Assurance Software Systems |
174
click to vote
COMPSAC
2006
IEEE
16 years 15 days ago
2006
IEEE
Modern Web servers need to process multiple requests concurrently in order to fulfill the workload demands expected of them. Concurrency can be implemented in a Web server using ...
193
click to vote
EUROMICRO
2006
IEEE
16 years 15 days ago
2006
IEEE
This paper presents the modeling paradigm for Integrated Modular Avionics Design MIMAD V0, which is an extensible component-oriented framework that enables high level models of sy...
173
click to vote
ISPASS
2005
IEEE
16 years 1 days ago
2005
IEEE
Abstract— Network processing is becoming an increasingly important paradigm as the Internet moves towards an architecture with more complex functionality inside the network. Mode...
184
click to vote
HIPEAC
2005
Springer
15 years 12 months ago
2005
Springer
This paper shows that Appel-style garbage collectors often make suboptimal decisions both in terms of when and how to collect. We argue that garbage collection should be done when ...
159
click to vote
CC
2004
Springer
15 years 12 months ago
2004
Springer
Although optimization technology has been successful over the past 40 years, recent trends are emerging that demand we reconsider the paradigm that we are using for code optimizati...