2634 search results - page 168 / 527 » Faster Than Uppaal |
157
click to vote
DAC
1995
ACM
15 years 9 months ago
1995
ACM
Abstract A new method for power estimation in sequential circuits is presented that is based on a statistical estimation technique. By applying randomly generated input sequences t...
144
click to vote
SAS
1997
Springer
15 years 9 months ago
1997
Springer
is an important optimization for programs that use procedural abstraction. Because inlining trades code size for execution speed, the effectiveness of an inlining algorithm is det...
146
click to vote
SIGGRAPH
1995
ACM
15 years 9 months ago
1995
ACM
We have developed a system for interactive manipulation of shading parameters for three dimensional rendering. The system takes as input user-defined shaders, written in a subset ...
133
click to vote
SIGGRAPH
1995
ACM
15 years 9 months ago
1995
ACM
This paper presents new solutions to the following three problems in image morphing: feature specification, warp generation, and transition control. To reduce the burden of featu...
168
click to vote
ICPP
1991
IEEE
15 years 9 months ago
1991
IEEE
-- The Express Ring is a new architecture under investigation at the University of Southern California. Its main goal is to demonstrate that a slotted unidirectional ring with very...