5281 search results - page 621 / 1057 » Performance evaluation of software architectures |
186
click to vote
VSTTE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...
189
click to vote
CISIS
2010
IEEE
15 years 4 months ago
2010
IEEE
As Grid infrastructures become more widely used by the academic and commercial world, the problem of resource allocation increases in complexity. Resource trading markets are one m...
225
click to vote
HIPEAC
2010
Springer
15 years 4 months ago
2010
Springer
We propose a new design for an energy-efficient hardware transactional memory (HTM) system for power-aware embedded devices. Prior hardware transactional memory designs proposed a ...
308
click to vote
CISIS
2010
IEEE
14 years 10 months ago
2010
IEEE
Work-stealing is the todays algorithm of choice for dynamic load-balancing of irregular parallel applications on multiprocessor systems. We have evaluated the algorithm’s effic...
321
click to vote
CISIS
2011
IEEE
14 years 6 months ago
2011
IEEE
—The Dynamic Vehicle Routing Problem (DVRP) is an optimization problem in which agents deliver orders that are not known in advance to the routing. Partial solutions need to be a...