4966 search results - page 67 / 994 » its 2010 |
186
click to vote
JCST
2010
15 years 28 days ago
2010
Abstract We define a notion of context that represents invariant, stable-over-time behavior in an environment and we propose an algorithm for detecting context changes in a stream ...
190
click to vote
CAV
2010
Springer
15 years 6 months ago
2010
Springer
ABC is a public-domain system for logic synthesis and formal verification of binary logic circuits appearing in synchronous hardware designs. ABC combines scalable logic transforma...
198
click to vote
MEMICS
2010
15 years 27 days ago
2010
Application-specific instruction set processors are the core of nowadays embedded systems. Therefore, the designers need to have powerful tools for the processor design. The tools...
163
click to vote
CNSM
2010
15 years 4 months ago
2010
1 We address the problem of resource management for a large-scale cloud environment that hosts sites. Our contribution centers around outlining a distributed middleware architectur...
174
click to vote
ENTCS
2006
15 years 6 months ago
2006
In previous work we proposed Linear Programs as a fine grained model for imperative programs, and showed how the model checking procedure used in SLAM can be generalised to a mode...