359 search results - page 48 / 72 » On the number of chord diagrams |
ATVA
2006
Springer
14 years 12 days ago
2006
Springer
Chaining can reduce the number of iterations required for symbolic state-space generation and model-checking, especially in Petri nets and similar asynchronous systems, but require...
EUROMICRO
2004
IEEE
14 years 11 days ago
2004
IEEE
The goal of our research is to develop industry-proof software architecture and design metrics. We identify a number of problems that arise in computing software architecture and ...
UML
2000
Springer
14 years 6 days ago
2000
Springer
UML's current definition of the role concept comes with many problems, not the least being that it is difficult to understand and communicate. This paper proposes a revised UM...
ASPDAC
2008
ACM
13 years 10 months ago
2008
ACM
A two-stage optimization methodology is proposed to solve the fixed-outline floorplanning problem that is a global optimization problem for wirelength minimization. In the first st...
DMSN
2008
ACM
13 years 10 months ago
2008
ACM
When dealing with sensors with different time resolutions, it is desirable to model a sensor reading as pertaining to a time interval rather than a unit of time. We introduce two ...