Sciweavers

2278 search results - page 41 / 456
» Specification Techniques for Automatic Performance Analysis ...
Sort
View
RIAO
2007
14 years 11 months ago
A Robust Linguistic Platform for Efficient and Domain specific Web Content Analysis
Web semantic access in specific domains calls for specialized search engines with enhanced semantic querying and indexing capacities, which pertain both to information retrieval (...
Thierry Hamon, Adeline Nazarenko, Thierry Poibeau,...
CF
2009
ACM
15 years 4 months ago
Towards automatic program partitioning
There is a trend towards using accelerators to increase performance and energy efficiency of general-purpose processors. Adoption of accelerators, however, depends on the availabi...
Sean Rul, Hans Vandierendonck, Koen De Bosschere
WOSP
2005
ACM
15 years 3 months ago
Performance by unified model analysis (PUMA)
Evaluation of non-functional properties of a design (such as performance, dependability, security, etc.) can be enabled by design annotations specific to the property to be evalua...
C. Murray Woodside, Dorina C. Petriu, Dorin Bogdan...
61
Voted
EICS
2009
ACM
15 years 4 months ago
TnToolkit: a design and analysis tool for ambiguous, QWERTY, and on-screen keypads
The pervasive use of ambiguous keypads for mobile text entry necessitates examination of their performance characteristics. This paper presents TnToolkit – a self-contained tool...
Steven J. Castellucci, I. Scott MacKenzie
68
Voted
DAGSTUHL
1996
14 years 11 months ago
An Automatic Interprocedural Analysis for the Understanding of Scientific Application Programs
This paper reports on an approachfor improvingthe understandingof old programs which have become very complex due to numerous extensions. We have adapted partial evaluation techni...
Sandrine Blazy, Philippe Facon