5227 search results - page 821 / 1046 » Constructing New Media |
184
click to vote
TOOLS
1999
IEEE
15 years 11 months ago
1999
IEEE
Object-oriented frameworks are an established tool for domain-specific reuse. Many framework design patterns and development processes have been documented, typically reverse engin...
189
click to vote
ACSD
1998
IEEE
15 years 11 months ago
1998
IEEE
State coding conflict detection is a fundamental part of synthesis of asynchronous concurrent systems from their specifications as Signal Transition Graphs (STGs), which are a spe...
193
click to vote
ICDT
1999
ACM
15 years 11 months ago
1999
ACM
Abstract. In this paper we present a new approach for studying aggregations in the context of database query languages. Starting from a broad de nition of aggregate function, we ad...
141
click to vote
DATE
1998
IEEE
15 years 11 months ago
1998
IEEE
We present a new combinational verification technique where the functional specification of a circuit under verification is utilized to simplify the verification task. The main id...
174
click to vote
ICCAD
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper we present a new fanout optimization algorithm which is particularly suitable for digital circuits designed with submicron CMOS technologies. Restricting the class o...