2266 search results - page 80 / 454 » Generalizing parametric timing analysis |
145
click to vote
HASE
1999
IEEE
15 years 8 months ago
1999
IEEE
The state of the art in verifying the real-time requirements of applications developed using general processing graph models relies on simulation or off-line scheduling. We extend...
151
Voted
CGI
2009
IEEE
15 years 7 months ago
2009
IEEE
Two dimensional point data can be considered one of the most basic, yet one of the most ubiquitous data types arising in a wide variety of applications. The basic scatter plot app...
169
click to vote
COR
2008
15 years 2 months ago
2008
In this paper we review the exact algorithms proposed in the last three decades for the solution of the vehicle routing problem with time windows (VRPTW). The exact algorithms for...
193
click to vote
VL
2010
IEEE
15 years 2 months ago
2010
IEEE
Many dynamic programming language features, such as implicit declaration, reflection, and code generation, make it difficult to verify the existence of identifiers through standar...
121
Voted
PODS
1997
ACM
15 years 8 months ago
1997
ACM
We consider the problem of indexing general database workloads (combinations of data sets and sets of potential queries). We de ne a framework for measuring the eciency of an ind...