5085 search results - page 837 / 1017 » Multidimensional Design by Examples |
162
click to vote
ICTAC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The potential of linear logic in facilitating reasoning on resource usage has long been recognized. However, convincing uses of linear types in practical programming are ...
182
click to vote
IEEECIT
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—Model-driven development has become the stateof-the-art approach for designing embedded real-time systems. heir high level of abstraction, models are easier to understan...
156
click to vote
INFOCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
—The traditional formulation of the total value of information transfer is a multi-commodity flow problem. Here, each data source is seen as generating a commodity along a fixe...
195
click to vote
INFOCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
—We study power control in a multi-cell CDMA wireless system whereby self-interested users share a common spectrum and interfere with each other. Our objective is to design a pow...
159
Voted
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
A bioinformatics analysis pipeline is often highly elaborate, due to the inherent complexity of biological systems and the variety and size of laboratory publications would be high...