716 search results - page 55 / 144 » Semilinear Program Feasibility |
175
click to vote
VLDB
1997
ACM
15 years 10 months ago
1997
ACM
Selecting views to materialize is one of the most important decisions in designing a data warehouse. In this paper, we present a framework for analyzing the issues in selecting vi...
137
click to vote
ESOP
2004
Springer
15 years 9 months ago
2004
Springer
Environment classifiers were proposed as a new approach to typing multi-stage languages. Safety was established in the simply-typed and let-polymorphic settings. While the motivati...
134
click to vote
ICALP
2000
Springer
15 years 9 months ago
2000
Springer
The Unified Modeling Language UML is a rich language so that it seem not feasible to give a single semantics for the complete language in one ste In order to define the semantics,...
160
click to vote
EPS
1995
Springer
15 years 9 months ago
1995
Springer
One of the major components of any evolutionary system is the evaluation function. Evaluation functions are used to assign a quality measure for individuals in a population. Where...
145
click to vote
WCET
2008
15 years 7 months ago
2008
Static WCET analysis obtains a safe estimation of the WCET of a program. The timing behaviour of a program depends in many cases on input, and an analysis could take advantage of ...