Sciweavers

1344 search results - page 98 / 269
» Automatic performance analysis with periscope
Sort
View
APLAS
2005
ACM
15 years 7 months ago
Integrating Physical Systems in the Static Analysis of Embedded Control Software
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
Patrick Cousot
MASCOTS
2007
15 years 2 months ago
Stochastic Bounds Applied to the End to End QoS in Communication Systems
—1 End to end QoS of communication systems is essential for users but their performance evaluation is a complex issue. The ion of such systems are usually given by multidimension...
Hind Castel, Lynda Mokdad, Nihal Pekergin
DAC
2003
ACM
16 years 2 months ago
Power grid reduction based on algebraic multigrid principles
With the scaling of technology, power grid noise is becoming increasingly significant for circuit performance. A typical power grid circuit contains millions of linear elements, m...
Haihua Su, Emrah Acar, Sani R. Nassif
COLING
2010
14 years 8 months ago
Emotion Cause Detection with Linguistic Constructions
This paper proposes a multi-label approach to detect emotion causes. The multi-label model not only detects multi-clause causes, but also captures the long-distance information to...
Ying Chen, Sophia Yat Mei Lee, Shoushan Li, Chu-Re...
COLING
2010
14 years 8 months ago
An Exploration of Features for Recognizing Word Emotion
Emotion words have been well used as the most obvious choice as feature in the task of textual emotion recognition and automatic emotion lexicon construction. In this work, we exp...
Changqin Quan, Fuji Ren