49 search results - page 6 / 10 » A Mechanized Refinement Framework for Analysis of Custom Mem... |
ISPASS
2005
IEEE
14 years 2 months 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...
CGO
2005
IEEE
14 years 2 months ago
2005
IEEE
Data speculative optimization refers to code transformations that allow load and store instructions to be moved across potentially dependent memory operations. Existing research w...
CNIS
2006
13 years 10 months ago
2006
A variety of network security services, such as access control in firewalls and protocol analysis in intrusion detection systems, require the discrimination of packets based on th...
IEEEICCI
2003
IEEE
14 years 1 months ago
2003
IEEE
– A variety of life functions and cognitive processes have been identified in cognitive informatics, psychology, cognitive science, and neurophilosophy. This paper attempts to de...
IFIP
2010
Springer
14 years 19 days ago
2010
Springer
Abstract Flow Accounting is a passive monitoring mechanism implemented in routers that gives insight into tra c behavior and network characteristics. However, processing of Flow Ac...