3468 search results - page 590 / 694 » An open logical framework |
184
click to vote
ISQED
2007
IEEE
16 years 19 days ago
2007
IEEE
We present a novel technique to exploit the power-performance tradeoff. The technique can be used stand-alone or in conjunction with dynamic voltage scaling, the mainstream techn...
206
click to vote
CPAIOR
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. In recent work binary decision diagrams (BDDs) were introduced as a technique for postoptimality analysis for integer programming. In this paper we show that much smaller...
175
click to vote
EMSOFT
2007
Springer
16 years 15 days ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
174
click to vote
SEMWEB
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. Nowadays enterprises request information technologies that leverage structured and unstructured information for providing a single integrated view of business problems in...
175
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
: The era of ubiquitous and pervasive computing technology opens the world for new pervasive applications and services within the physical surroundings. Often users find themselves...