501 search results - page 16 / 101 » Diagram Techniques for Confluence |
97
Voted
ASYNC
1998
IEEE
15 years 6 months ago
1998
IEEE
A technique is presented to predict the performance behavior of control circuits for a linear FIFO. The control circuit consists of a linear chain of RendezVous elements, also cal...
130
click to vote
SOFTVIS
2010
ACM
15 years 2 months ago
2010
ACM
Previous techniques for visualizing time-series of multivariate data mostly plot the time along additional axes, are often complex, and does not support intuitive interaction. In ...
112
click to vote
VL
2003
IEEE
15 years 7 months ago
2003
IEEE
We built a prototype tool for browsing constraint systems for the layout of graphical objects. It has two views: In one view, the tool visualizes a constraint system as a threedim...
117
click to vote
ESOP
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. The pure pattern calculus generalises the pure lambda-calculus by basing computation on pattern-matching instead of beta-reduction. The simplicity and power of the calcul...
117
Voted
ADG
1998
Springer
15 years 6 months ago
1998
Springer
This paper reviews and evaluates three main techniques for automated geometry diagram construction: synthetic methods, numerical computation methods, and symbolic computation metho...