1626 search results - page 123 / 326 » Subtyping with Power Types |
255
click to vote
SBIA
2010
Springer
15 years 2 months ago
2010
Springer
Most of modern constraint modeling languages combine rich constraint languages with mathematical notations to tackle combinatorial optimization problems. Our purpose is to introduc...
109
click to vote
VTC
2010
IEEE
15 years 2 months ago
2010
IEEE
—This paper presents the results of an empirical study of wireless propagation channels for vehicle-to-vehicle communications in street intersections, a scenario especially impor...
274
click to vote
AMW
2011
14 years 7 months ago
2011
Subqueries are a poweful feature which allows to enforce reuse, composition, rewriting and optimization in a query language. In this paper we perform a comprehensive study of the i...
154
click to vote
CF
2011
ACM
14 years 4 months ago
2011
ACM
Ubiquitous computing has become a very popular paradigm. The most suitable technological solution for those systems consists of using hybrid processors able to operate at high vol...
286
click to vote
ICANNGA
2011
Springer
14 years 3 months ago
2011
Springer
ECU (Electric Circuit Unit) is a type of embedded system that is used in automobiles to perform different functions. The synthesis process of ECU requires that the hardware should...