4075 search results - page 700 / 815 » Modeling Distributed Algorithm Using B |
165
click to vote
ISLPED
2010
ACM
15 years 4 months ago
2010
ACM
This paper proposes a framework for (signal) interconnect power optimization at the global routing stage. In a typical design flow, the primary objective of global routing is mini...
184
Voted
TASLP
2008
15 years 4 months ago
2008
This paper describes an approach for computing a consensus translation from the outputs of multiple machine translation (MT) systems. The consensus translation is computed by weigh...
151
click to vote
TASE
2010
IEEE
14 years 11 months ago
2010
IEEE
Group elevator scheduling has received considerable attention due to its importance to transportation efficiency for mid-rise and high-rise buildings. One important trend to improv...
223
click to vote
GIS
2006
ACM
16 years 5 months ago
2006
ACM
Creating complex spatio?temporal simulation models is a hot issue in the area of spatio?temporal databases [7]. While existing Moving Object Simulators (MOSs) address different ph...
140
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
Distributing scarce resources among agents in a way that maximizes the social welfare of the group is a computationally hard problem when the value of a resource bundle is not lin...