5473 search results - page 657 / 1095 » On the graph isomorphism problem |
171
click to vote
TACAS
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Failing model checking runs should be accompanied by appropriate error diagnosis information that allows the user to identify the cause of the problem. For branching time...
131
click to vote
ISLPED
2003
ACM
16 years 3 days ago
2003
ACM
Multivoltage scheduling (MVS) for datapaths offers the energy savings of voltage scaling on a per-operation basis with a voltage aware operator scheduling. This work investigates...
172
click to vote
SMA
2003
ACM
16 years 2 days ago
2003
ACM
This paper has two parts. First, we propose a method which can be used to decompose a geometric constraint graph into a c-tree. With this decomposition, solving for a well-constrai...
200
click to vote
CSL
2003
Springer
16 years 2 days ago
2003
Springer
Many verification, planning, and control problems can be modeled as games played on state-transition graphs by one or two players whose conflicting goals are to form a path in th...
157
click to vote
DEXA
2003
Springer
16 years 2 days ago
2003
Springer
This paper presents an algorithm for termination static analysis of active rules with priorities. Active rules termination is an undecidable problem. Several recent works have sugg...