1420 search results - page 210 / 284 » Representation of Graphs by OBDDs |
105
click to vote
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
The scheduling of application tasks is a problem that occurs in all multiprocessor systems. This problem becomes even more complicated if the tasks are not independent but are inte...
102
click to vote
FSTTCS
1998
Springer
15 years 6 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...
OOIS
1997
Springer
15 years 6 months ago
1997
Springer
Viewpoints are re ections of software systems from multiple perspectives. A number of consistency conditions apply to viewpoints and developers require a tool for each type of vie...
114
click to vote
DAC
1994
ACM
15 years 6 months ago
1994
ACM
We address the problem of obtaining good variable orderings for the BDD representation of a system of interacting finite state machines (FSMs). Orderings are derived from the comm...
107
click to vote
ECML
2007
Springer
15 years 5 months ago
2007
Springer
Recently, a successful extension of Principal Component Analysis for structured input, such as sequences, trees, and graphs, has been proposed. This allows the embedding of discret...