3645 search results - page 393 / 729 » Implementing mapping composition |
181
click to vote
CC
2010
Springer
16 years 1 months ago
2010
Springer
The problem of locally transforming or translating programs without altering their semantics is central to the construction of correct compilers. For concurrent shared-memory progr...
184
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract There is an intimate link between program structure and behaviour. Exploiting this link to phrase program correctness problems in terms of the structural properties of a p...
205
click to vote
RTSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Many embedded platforms consist of a heterogeneous collection of processing elements, memory modules, and communication subsystems. These components often implement diff...
171
click to vote
IEEESCC
2009
IEEE
16 years 1 months ago
2009
IEEE
Multimedia streaming means delivering continuous data to a plethora of client devices. Besides the actual data transport this also needs a high degree of content adaptation respec...
198
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
The skyline operator was first proposed in 2001 for retrieving interesting tuples from a dataset. Since then, 100+ skyline-related papers have been published; however, we discove...