549 search results - page 57 / 110 » Verification condition generation for conditional informatio... |
91
Voted
ICC
2009
IEEE
15 years 7 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....
89
Voted
IPPS
1998
IEEE
15 years 4 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...
94
Voted
SPLC
2008
15 years 2 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...
113
Voted
IADIS
2004
15 years 2 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...
IAT
2009
IEEE
14 years 10 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...