549 search results - page 57 / 110 » Verification condition generation for conditional informatio... |
118
click to vote
ICC
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, we propose a new analytical model for throughput evaluation of wireless network coding. This new approach is based on a probabilistic viewpoint on network coding, i....
122
click to vote
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper presents reduction recognition and parallel code generationstrategies for distributed-memorymultiprocessors. We describe techniques to recognize a broad range of implic...
127
click to vote
SPLC
2008
15 years 5 months ago
2008
Model-driven software product lines are an emerging topic in research and industry, as they promise higher development speed and easier adaptability to customer needs. The generat...
145
Voted
IADIS
2004
15 years 5 months ago
2004
This paper addresses two questions. Firstly, how is it possible for an application to become aware of network conditions and secondly, given this awareness, how can a system be de...
124
click to vote
IAT
2009
IEEE
15 years 1 months ago
2009
IEEE
-- Given the overwhelming information appearing in the current web environment, recommendations have been increasingly applied to assist users in handling with the information over...