2206 search results - page 244 / 442 » On the power of coercion abstraction |
145
click to vote
LPAR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In this paper we study the problem of solving hard propositional satisfiability problem (SAT) instances in a computing grid or cloud, where run times and communication b...
204
click to vote
VAMOS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract—Today, software product line engineering concentrates on tailoring the functionality of programs. However, we and others observed an increasing interest in non-functiona...
148
click to vote
VTC
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—We evaluate the interference limited spectral efficiency of a small cellular network using measurements with 3 sites at an ISD of 750 m. Each 3-sector site is equipped ...
182
click to vote
GLOBECOM
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Sensors equipped with energy harvesting and cooperative communication capabilities are a viable solution to the power limitations of Wireless Sensor Networks (WSNs) assoc...
188
click to vote
ICCAD
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--More and more embedded systems provide a multitude of services, implemented by a large number of networked hardware components. In early design phases, dimensioning such ...