13631 search results - page 397 / 2727 » Event-Based Performance Analysis |
147
Voted
ICWSM
2008
15 years 6 months ago
2008
There is a growing interest in mining opinions using sentiment analysis methods from sources such as news, blogs and product reviews. Most of these methods have been developed for...
118
Voted
CAV
2007
Springer
15 years 11 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...
117
click to vote
DATE
2003
IEEE
15 years 10 months ago
2003
IEEE
Symbolic techniques usually use characteristic functions for representing sets of states. Boolean functional vectors provide an alternate set representation which is suitable for ...
120
click to vote
DAC
1991
ACM
15 years 8 months ago
1991
ACM
REX is a program that extracts parasitic resistance and capacitance values for nodes in VLSI layouts. REX also performs network serial and parallel simplifications. Two types of n...
120
click to vote
SPLC
2008
15 years 6 months ago
2008
This paper introduces an extractive approach to building-up a product line based on existing systems. Thereby, we focus on the analysis of common functionalities across different ...