2470 search results - page 232 / 494 » Liveness-Preserving Simulation Relations |
165
Voted
AUSAI
1999
Springer
15 years 10 months ago
1999
Springer
In previous work solutions for the nesting problem are produced using the no fit polygon (NFP), a new evaluation method and three evolutionary algorithms (simulated annealing (SA),...
171
click to vote
DPD
2002
15 years 6 months ago
2002
Web caching has been proposed as an effective solution to the problems of network traffic and congestion, Web objects access and Web load balancing. This paper presents a model for...
197
click to vote
TPDS
2002
15 years 5 months ago
2002
Abstract--The Gemini interconnect is a dual technology (optical and electrical) interconnection network designed for use in tightlycoupled multicomputer systems. It consists of a c...
147
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
is a challenging problem. We consider here abstract specifications consisting of a composition of components and a controller given in the form of a set of interactions and a prior...
164
click to vote
IPMI
1999
Springer
15 years 10 months ago
1999
Springer
—Guidance systems designed for neurosurgery, hip surgery, spine surgery and for approaches to other anatomy that is relatively rigid can use rigid-body transformations to accompl...