3934 search results - page 67 / 787 » Approximate Schedulability Analysis |
178
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
This paper presents a new incremental learning solution for Linear Discriminant Analysis (LDA). We apply the concept of the sufficient spanning set approximation in each update st...
148
click to vote
DSN
2009
IEEE
16 years 28 days ago
2009
IEEE
MAP queueing networks are recently proposed models for performance assessment of enterprise systems, such as multi-tier applications, where workloads are significantly affected b...
197
click to vote
SOCO
1998
Springer
15 years 5 months ago
1998
Springer
The development of formal models of spatial relations is a topic of great importance in spatial reasoning, geographic information systems (GIS) and computer vision, and has gained ...
158
click to vote
CSUR
1999
15 years 5 months ago
1999
useful for optimizing compilers [15], partial evaluators [11], abstract debuggers [1], models-checkers [2], formal verifiers [13], etc. The difficulty of the task comes from the fa...
134
click to vote
SCAM
2006
IEEE
16 years 5 days ago
2006
IEEE
This paper addresses the question: “How can animated visualisation be used to express interesting properties of static analysis?” The particular focus is upon static dependenc...