2583 search results - page 282 / 517 » On the Representation of Timed Polyhedra |
163
click to vote
ASPDAC
1998
ACM
15 years 10 months ago
1998
ACM
Abstract -- This paper describes the use of a hierarchical design representation standard, CHDStd, as part of the architecture of the Chip Hierarchical Design System (CHDS). Detail...
185
click to vote
CHI
1998
ACM
15 years 10 months ago
1998
ACM
Bookmarks are used as "personal Web information spaces" to help people remember and retrieve interesting Web pages. A study of personal Web information spaces surveyed 3...
175
click to vote
IUI
1998
ACM
15 years 10 months ago
1998
ACM
Software architectures are high-level design representations of software systems that focus on composition of software components and how those components interact. Software tures...
143
click to vote
FSTTCS
1998
Springer
15 years 10 months ago
1998
Springer
Partial order methods have been introduced to avoid the state explosion problem in veri cation resulting from the representation of multiple interleavings of concurrent transitions...
162
click to vote
ICCAD
1997
IEEE
15 years 10 months ago
1997
IEEE
We present a novel method for state minimization of incompletely-specified finite state machines. Where classic methods simply minimize the number of states, ours directly addre...