Sciweavers

2354 search results - page 271 / 471
» Assignment Problems
Sort
View
145
Voted
APN
2001
Springer
15 years 11 months ago
Optimising Enabling Tests and Unfoldings of Algebraic System Nets
Reachability analysis and simulation tools for high-level nets spend a significant amount of the computing time in performing enabling tests, determining the assignments under whi...
Marko Mäkelä
KBSE
2000
IEEE
15 years 10 months ago
Systematic Generation of Dependable Change Coordination Plans for Automated Switching of Coordination Policies
Distributed information systems for decision support and e-commerce applications require coordination of multiple autonomous components and their services to accomplish a set of g...
Prasanta K. Bose, Mark G. Matthews
SIGGRAPH
2000
ACM
15 years 10 months ago
Seamless texture mapping of subdivision surfaces by model pelting and texture blending
Subdivision surfaces solve numerous problems related to the geometry of character and animation models. However, unlike on parametrised surfaces there is no natural choice of text...
Dan Piponi, George Borshukov
ICCAD
1999
IEEE
96views Hardware» more  ICCAD 1999»
15 years 10 months ago
Implication graph based domino logic synthesis
In this paper, we present a new approach to the problem of inverter elimination in domino logic synthesis. A small piece of static CMOS logic is introduced to the circuit to avoid...
Ki-Wook Kim, C. L. Liu, Sung-Mo Kang
STACS
1999
Springer
15 years 10 months ago
Worst-case Equilibria
We investigate the problem of routing traffic through a congested network in an environment of non-cooperative users. We use the worst-case coordination ratio suggested by Koutsou...
Elias Koutsoupias, Christos H. Papadimitriou