4196 search results - page 233 / 840 » Supporting the development of network programs |
113
click to vote
BROADNETS
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract— We explore network design principles for nextgeneration all-optical wide-area networks, employing light-trail technology. Light-trail [1] is a light-wave circuit that a...
149
click to vote
GLOBECOM
2007
IEEE
15 years 10 months ago
2007
IEEE
—Increasing demand to transmit real-time data over packet-switched networks calls for quality-of-service support from the underlying network. Deadline-based networks were develop...
132
click to vote
ISPDC
2007
IEEE
15 years 10 months ago
2007
IEEE
Selection of spaceborne computing platforms requires balance among several competing factors. Traditional performance analysis techniques are illsuited for this purpose due to the...
144
click to vote
FORTE
2010
15 years 5 months ago
2010
Abstract. Separation logic is a popular specification language for imperative programs where the heap can only be mentioned through pointsto assertions. However, separation logic&#...
151
click to vote
JTRES
2010
ACM
15 years 4 months ago
2010
ACM
The Safety Critical Java Specification intends to support the development of programs that must be certified. The specification includes a number of annotations used to constrain ...