Sciweavers

1312 search results - page 126 / 263
» Formally Optimal Boxing
Sort
View
IEEECIT
2010
IEEE
13 years 7 months ago
A Recognizer of Rational Trace Languages
—The relevance of instruction parallelization and optimal event scheduling is currently increasing. In particular, because of the high amount of computational power available tod...
Federico Maggi
FORTE
2009
13 years 7 months ago
Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions
Abstract. Service compositions leverage remote services to deliver addedvalue distributed applications. Since services are administered and run by independent parties, the governan...
Luciano Baresi, Domenico Bianculli, Sam Guinea, Pa...
TOG
2010
126views more  TOG 2010»
13 years 4 months ago
Automatic generation of destination maps
Destination maps are navigational aids designed to show anyone within a region how to reach a location (the destination). Handdesigned destination maps include only the most impor...
Johannes Kopf, Maneesh Agrawala, David Bargeron, D...
CSCW
2011
ACM
13 years 3 months ago
Scheduling in variable-core collaborative systems
The performance of a collaborative system depends on how two mandatory collaborative tasks, processing and transmission of user commands, are scheduled. We have developed multiple...
Sasa Junuzovic, Prasun Dewan
CIDM
2011
IEEE
13 years 27 days ago
Partial generalized correlation for hyperspectral data
Abstract—A variational approach is proposed for the unsupervised assessment of attribute variability of high-dimensional data given a differentiable similarity measure. The key q...
Marc Strickert, Bjorn Labitzke, Volker Blanz