Sciweavers

2536 search results - page 220 / 508
» Constructing Optimal Highways
Sort
View
127
Voted
ICCAD
1999
IEEE
99views Hardware» more  ICCAD 1999»
15 years 8 months ago
Concurrent logic restructuring and placement for timing closure
: In this paper, an algorithm for simultaneous logic restructuring and placement is presented. This algorithm first constructs a set of super-cells along the critical paths and the...
Jinan Lou, Wei Chen, Massoud Pedram
WCRE
1996
IEEE
15 years 8 months ago
A Catalog of Object Model Transformations
The process of software development is gradually achieving more rigor. Proficient developers now construct indirectly through the abstraction of models. Models allow a developer t...
Michael R. Blaha, William J. Premerlani
163
Voted
ESA
2000
Springer
141views Algorithms» more  ESA 2000»
15 years 7 months ago
Preemptive Scheduling with Rejection
We consider the problem of preemptively scheduling a set of n jobs on m (identical, uniformly related, or unrelated) parallel machines. The scheduler may reject a subset of the job...
Han Hoogeveen, Martin Skutella, Gerhard J. Woeging...
OOPSLA
1991
Springer
15 years 7 months ago
Object-Oriented Type Inference
We present a new approach to inferring types in untyped object-oriented programs with inheritance, assignments, and late binding. It guarantees that all messages are understood, a...
Jens Palsberg, Michael I. Schwartzbach
CDC
2008
IEEE
291views Control Systems» more  CDC 2008»
15 years 6 months ago
Structured semidefinite representation of some convex sets
Linear matrix Inequalities (LMIs) have had a major impact on control but formulating a problem as an LMI is an art. Recently there is the beginnings of a theory of which problems ...
J. William Helton, Jiawang Nie