180 search results - page 31 / 36 » Loop Invariants on Demand |
109
Voted
ACTA
2000
14 years 11 months ago
2000
Symmetric net structure yields symmetric net behaviour. Thus, knowing the symmetries of a net, redundant calculations can be skipped. We present a framework for the calculation of ...
97
Voted
GPCE
2009
Springer
14 years 9 months ago
2009
Springer
Template languages are widely used within generative programming, because they provide intuitive means to generate software artefacts expressed in a specific object language. Howe...
122
click to vote
NETWORKING
2011
14 years 2 months ago
2011
The Internet is organized as a collection of networks called Autonomous Systems (ASes). The Border Gateway Protocol (BGP) is the glue that connects these administrative domains. Co...
AAAI
2011
13 years 11 months ago
2011
In this paper, we propose a novel decentralised control mechanism to manage micro-storage in the smart grid. Our approach uses an adaptive pricing scheme that energy suppliers app...
120
Voted
ISBI
2009
IEEE
15 years 6 months ago
2009
IEEE
Biological images have the potential to reveal complex signatures that may not be amenable to morphological modeling in terms of shape, location, texture, and color. An effective ...