5330 search results - page 365 / 1066 » The Performability Tool P'ility |
169
click to vote
ICCD
2002
IEEE
16 years 4 months ago
2002
IEEE
VLIW processors are statically scheduled processors and their performance depends on the quality of the compiler’s scheduler. We propose a scheduling scheme where the applicatio...
251
click to vote
ICPR
2010
IEEE
16 years 2 months ago
2010
IEEE
The aim of this paper is to propose tools for statistical analysis of shape families using morphological operators. Given a series of shape families (or shape categories), the appr...
172
click to vote
IWPC
2009
IEEE
16 years 2 months ago
2009
IEEE
We present a static analysis framework for inference of security-related program properties. Within this framework we design and implement ownership, immutability and information ...
230
click to vote
ICMT
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Graph transformation has a well-established theory and associated tools that can be used to perform model transformations. However, the lack of a construct to match and t...
187
Voted
CDC
2008
IEEE
16 years 2 months ago
2008
IEEE
— In this note, an algebraic approach for state estimation of linear time-varying (LTV) systems is introduced. This approach is based on the following mathematical tools: Laplace...