5330 search results - page 389 / 1066 » The Performability Tool P'ility |
181
click to vote
IAT
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper describes our efforts to investigate factors in user browsing behavior to automatically evaluate Web pages that the user shows interest in. We developed a client site l...
187
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
Supercomputers are increasingly complex systems merging conventional microprocessors with system on a chip level designs that provide the network interface and router. At Sandia N...
211
click to vote
PG
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper we present a technique for image deformation in which the user is given flexible control over what kind of deformation to perform. Freeform image extends available ...
194
click to vote
ARC
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents an overview regarding the synthesis of regular expressions targeting FPGAs. It describes current solutions and a number of open issues. Implementation of regula...
173
click to vote
CAV
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. TVLA is a parametric framework for shape analysis that can be easily instantiated to create different kinds of analyzers for checking properties of programs that use link...