Sciweavers

406 search results - page 44 / 82
» Identifying Codes and Covering Problems
Sort
View
EMSOFT
2009
Springer
15 years 7 months ago
Modular static scheduling of synchronous data-flow networks: an efficient symbolic representation
This paper addresses the question of producing modular sequential imperative code from synchronous data-flow networks. Precisely, given a system with several input and output flow...
Marc Pouzet, Pascal Raymond
GLOBECOM
2009
IEEE
15 years 10 months ago
SV-BCMCS: Scalable Video Multicast in Hybrid 3G/Ad-Hoc Networks
—Mobile video broadcasting service, or mobile TV, is a promising application for 3G wireless network operators. Most existing solutions for video broadcast/multicast services in ...
Sha Hua, Yang Guo, Yong Liu, Hang Liu, Shivendra S...
SSDBM
2009
IEEE
126views Database» more  SSDBM 2009»
15 years 10 months ago
Comprehensive Optimization of Declarative Sensor Network Queries
We present a novel sensor network query processing architecture that (a) covers all the query optimization phases that are required to map a declarative query to executable code; ...
Ixent Galpin, Christian Y. A. Brenninkmeijer, Farh...
IPPS
2009
IEEE
15 years 10 months ago
Toward adjoinable MPI
4 Automatic differentiation is the primary means of obtaining analytic5 derivatives from a numerical model given as a computer program. There-6 fore, it is an essential productivi...
Jean Utke, Laurent Hascoët, Patrick Heimbach,...
123
Voted
ECOOP
2010
Springer
15 years 8 months ago
Essential AOP: The A Calculus
Abstract. Aspect-oriented programming (AOP) has produced interesting language designs, but also ad hoc semantics that needs clarification. We contribute to this clarification wit...
Bruno De Fraine, Erik Ernst, Mario Südholt