9626 search results - page 1828 / 1926 » Invariant Based Programming |
101
click to vote
INFOCOM
2008
IEEE
15 years 6 months ago
2008
IEEE
—A firewall is a security guard placed between a private network and the outside Internet that monitors all incoming and outgoing packets. The function of a firewall is to exam...
INFOCOM
2008
IEEE
15 years 6 months ago
2008
IEEE
— In this paper we study the problem of jointly performing scheduling and congestion control in mobile adhoc networks so that network queues remain bounded and the resulting flo...
MICRO
2008
IEEE
15 years 6 months ago
2008
IEEE
— Processor architectures with large instruction windows have been proposed to expose more instruction-level parallelism (ILP) and increase performance. Some of the proposed arch...
121
click to vote
NOCS
2008
IEEE
15 years 6 months ago
2008
IEEE
We present a methodology to debug a SOC by concentrating on its communication. Our extended communication model includes a) multiple signal groups per interface protocol at each I...
143
click to vote
PDP
2008
IEEE
15 years 6 months ago
2008
IEEE
System-level virtualization has been a research topic since the 70’s but regained popularity during the past few years because of the availability of efficient solution such as...