60 search results - page 3 / 12 » Utilizing Formal Assertions for System Design of Network Pro... |
CASES
2004
ACM
13 years 11 months ago
2004
ACM
With the ever-increasing pervasiveness of the Internet and its stringent performance requirements, network system designers have begun utilizing specialized chips to increase the ...
JOT
2010
13 years 6 months ago
2010
In self-adaptive systems components are dynamically modified according to the execution environment requirement, where each component is a probable point of failure. Existing appr...
ISCA
2005
IEEE
14 years 1 months ago
2005
IEEE
Sensor network processors and their applications are a growing area of focus in computer system research and design. Inherent to this design space is a reduced processing performa...
ANCS
2008
ACM
13 years 9 months ago
2008
ACM
Computer networks require increasingly complex packet processing in the data path to adapt to new functionality requirements. To meet performance demands, packet processing system...
CASES
2009
ACM
14 years 2 months ago
2009
ACM
Networks of ultra-low-power nodes capable of sensing, computation, and wireless communication have applications in medicine, science, industrial automation, and security. Over the...