6102 search results - page 511 / 1221 » Generating Optimizing Specializers |
141
Voted
IEEEAMS
2003
IEEE
15 years 10 months ago
2003
IEEE
Service morphing is a set of techniques used to continuously meet an application’s Quality of Service (QoS) needs, in the presence of run-time variations in service locations, p...
137
click to vote
SIGGRAPH
2003
ACM
15 years 10 months ago
2003
ACM
While texture synthesis on surfaces has received much attention in computer graphics, the ideal solution that quickly produces high-quality textures with little user intervention ...
161
click to vote
SLE
2009
Springer
15 years 9 months ago
2009
Springer
Composition of requirements models in Software Product Line (SPL) development enables stakeholders to derive the requirements of target software products and, very important, to re...
150
Voted
CAV
2001
Springer
15 years 9 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
171
Voted
VISUALIZATION
1999
IEEE
15 years 9 months ago
1999
IEEE
Many applications produce three-dimensional points that must be further processed to generate a surface. Surface reconstruction algorithms that start with a set of unorganized poi...