1888 search results - page 368 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
AOSD
2007
ACM
13 years 11 months ago
2007
ACM
Achieving sufficient execution performance is a challenging goal of software development. Unfortunately, violating performance requirements is often revealed at a late stage of th...
DAIS
2003
13 years 8 months ago
2003
- Mobile agents have the ability to migrate through heterogeneous networks and execute at remote hosts. This ability can be exploited to improve the performance of agent based appl...
GIS
2004
ACM
14 years 8 months ago
2004
ACM
Aerial video provides strong cues for automatic road extraction that are not available in static aerial images. Using stabilized (or geo-referenced) video data, capturing the dist...
PLDI
2009
ACM
14 years 2 months ago
2009
ACM
It is often impossible to obtain a one-size-fits-all solution for high performance algorithms when considering different choices for data distributions, parallelism, transformati...
ACSAC
2007
IEEE
14 years 1 months ago
2007
IEEE
Server virtualization more readily enables the collocation of disparate workloads on a shared physical platform. When employed on systems across a data center, the result can be a...