2057 search results - page 155 / 412 » Scalable and Structured Scheduling |
TAP
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
IV
2008
IEEE
14 years 2 months ago
2008
IEEE
Maestro - 3D group calendar visualizer aims at handling multiple schedules and highlighting common free times. One of the most powerful skills of Maestro is scalability according ...
IPPS
2007
IEEE
14 years 2 months ago
2007
IEEE
Blue Gene R /P is a massively parallel supercomputer intended as the successor to Blue Gene/L. It leverages much of the existing architecture of its predecessor to provide scalabi...
IROS
2007
IEEE
14 years 2 months ago
2007
IEEE
— When the tasks of a mission are interrelated and subject to several resource constraints, more efforts are needed to coordinate robots towards achieving the mission than indepe...
CCGRID
2003
IEEE
14 years 1 months ago
2003
IEEE
— Grid computing requires network services beyond what is currently provided by the Best-Effort Internet. Among the different approaches towards network Quality of Service, aggre...