16091 search results - page 425 / 3219 » Solving |
170
click to vote
STACS
2001
Springer
15 years 11 months ago
2001
Springer
It is well known that finite square matrices over a Kleene algebra again form a Kleene algebra. This is also true for infinite matrices under suitable restrictions. One can use t...
154
Voted
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper is about gate sizing under a statistical delay model. It shows we can solve the gate sizing problem exactly for a given statistical delay model. The formulation used al...
181
click to vote
ICCAD
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper, we develop a new standard cell placement tool, Dragon2000, to solve large scale placement problem effectively. A top-down hierarchical approach is used in Dragon200...
186
click to vote
CSCW
2000
ACM
15 years 11 months ago
2000
ACM
This paper presents an analysis of written and electronic records that document the collaborative process of packing museum artifacts in preparation for a move. The majority of da...
174
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...