2662 search results - page 96 / 533 » Tools Demonstrations |
113
click to vote
AAAI
2004
15 years 5 months ago
2004
We study the computational complexity of reasoning with global constraints. We show that reasoning with such constraints is intractable in general. We then demonstrate how the sam...
134
click to vote
ENTCS
2010
15 years 1 months ago
2010
We propose an algebra of languages and transformations as a means for extending s syntactically. The algebra provides a layer of high-level abstractions built on top of languages ...
108
Voted
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
Scheduling is an important step in high-level synthesis (HLS). In our tool, we perform scheduling in two steps: coarse-grain scheduling, in which we take into account the whole co...
104
click to vote
GLVLSI
2000
IEEE
15 years 8 months ago
2000
IEEE
System-level power exploration requires tools for estimation of the overall power consumed by a system, as well as a detailed breakdown of the consumption of its main functional b...
144
Voted
ACSE
1997
ACM
15 years 8 months ago
1997
ACM
One of the major difficulties with teaching the first programming course is input/output. It is desirable to show students how to input data and output results early in the course...