2662 search results - page 299 / 533 » Objects-early tools: a demonstration |
140
click to vote
SOFSEM
2009
Springer
16 years 3 months ago
2009
Springer
We propose a new type of canonical decision diagrams, which allows a more efficient symbolic state-space generation for general asynchronous systems by allowing on-the-fly extensi...
152
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
Information theory provides a range of useful methods to analyse probability distributions and these techniques have been successfully applied to measure information flow and the ...
150
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
Proximity Toolkit is a toolkit that simplifies the exploration of interaction techniques based on proximity and orientations of people, tools, and large digital surfaces. ViconFac...
164
click to vote
FPGA
2009
ACM
16 years 1 months ago
2009
ACM
In recent years, the maximum logic capacity of each successive FPGA family has been increasing by more than 50%, which motivates scalable solutions. Meanwhile, academic research i...
173
click to vote
HYBRID
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper, we consider the problem of generating optimized, executable control code from high-level, symbolic specifications. In particular, we construct symbolic co...