1217 search results - page 46 / 244 » Using Planetlab to Implement Multicast at the Application Le... |
GG
2008
Springer
15 years 3 months ago
2008
Springer
The tautology problem is the problem to prove the validity of statements. In this paper, we present a calculus for this undecidable problem on graphical conditions, prove its sound...
121
click to vote
DATE
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper presents a novel source code transformation for control flow optimizationcalled loop nest splitting which minimizes the number of executed if-statements in loop nests ...
144
click to vote
EDOC
2008
IEEE
15 years 2 months ago
2008
IEEE
This paper advocates the need for a mechanism that will allow the evaluation of the provided quality of service (QoS) by a service provider to a service customer in B2B service pr...
116
click to vote
SERVICES
2010
14 years 11 months ago
2010
Abstract--Service-Oriented Architectures address the development of distributed and dynamic service-based applications. Due to the dynamics of their environments, services should b...
106
click to vote
ASPDAC
2008
ACM
15 years 3 months ago
2008
ACM
—In this paper we describe a practical methodology to formally verify highly optimized, industrial multipliers. We a multiplier description language which abstracts from low-leve...