581 search results - page 55 / 117 » In case you missed it |
DSD
2005
IEEE
14 years 3 months ago
2005
IEEE
Reconfigurable system is a promising alternative to deliver both flexibility and performance at the same time. New reconfigurable technologies and technologydependent tools have b...
TLCA
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We present a theory of proof denotations in classical propologic. The abstract definition is in terms of a semiring of weights, and two concrete instances are explored. ...
SRDS
2003
IEEE
14 years 3 months ago
2003
IEEE
Abstract— In this paper, we consider the design of a reliable multicast facility over an unreliable multicast network. Our multicast facility has several interesting properties: ...
INFOCOM
2002
IEEE
14 years 3 months ago
2002
IEEE
In this paper we study the Optical Burst Switching (OBS) paradigm for the support of the TCP flows in an All Optical Network (AON). We analyze the TCP send rate, i.e. the amount of...
RTCSA
2000
IEEE
14 years 2 months ago
2000
IEEE
One of the hard problems in maintaining real-time systems requirements is to keep track of the impact of resource usage on the applications. Often times, it is not sufficient to ...