3053 search results - page 116 / 611 » Performance of Generative Programming Based Protocol Impleme... |
SCAM
2007
IEEE
14 years 4 months ago
2007
IEEE
We present an automated program analysis, called Reach, to compute program inputs that cause evaluation of explicitly-marked target expressions. Reach has a range of applications ...
ESCIENCE
2007
IEEE
14 years 4 months ago
2007
IEEE
In this paper, we present the design of Aneka, a .NET based service-oriented platform for desktop grid computing that provides: (i) a configurable service container hosting plugga...
SAS
2005
Springer
14 years 3 months ago
2005
Springer
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...
DATE
2009
IEEE
14 years 1 months ago
2009
IEEE
FlexRay [9] is an automotive standard for high-speed and reliable communication that is being widely deployed for next generation cars. The protocol has powerful errordetection me...
WWIC
2007
Springer
14 years 4 months ago
2007
Springer
In this paper we present an extension to the OLSR unicast routing protocol to support multicast routing in mobile ad hoc networks. The proposed protocol is based on Multicast Overl...