193 search results - page 28 / 39 » A PVS Based Framework for Validating Compiler Optimizations |
IDEAL
2003
Springer
14 years 1 months ago
2003
Springer
As the complexity of Internet is scaled up, it is likely for the Internet resources to be exposed to Distributed Denial of Service (DDoS) flooding attacks on TCP-based Web servers....
ECOOP
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. The application field of static analysis techniques for objectoriented programming is getting broader, ranging from compiler optimizations to security issues. This leads...
TPDS
2010
13 years 7 months ago
2010
—In distributed computing systems (DCSs) where server nodes can fail permanently with nonzero probability, the system performance can be assessed by means of the service reliabil...
GLOBECOM
2009
IEEE
14 years 3 months ago
2009
IEEE
—We present a novel approach for Medium Access Control (MAC) protocol design based on protocol engine. Current way of designing MAC protocols for a specific application is based...
GECCO
2009
Springer
14 years 1 months ago
2009
Springer
This paper introduces TestFul, a framework for testing stateful systems and focuses on object-oriented software. TestFul employs a hybrid multi-objective evolutionary algorithm, t...