525 search results - page 90 / 105 » Using Checkable Types in Automatic Protocol Analysis |
119
Voted
EUROPAR
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Automatic performance analysis of parallel programs can be accomplished by scanning event traces of program execution for patterns representing inefficient behavior. The ...
110
Voted
VISSYM
2007
15 years 4 months ago
2007
Time series are a data type of utmost importance in many domains such as business management and service monitoring. We address the problem of visualizing large time-related data ...
95
Voted
LREC
2010
15 years 3 months ago
2010
In this paper we describe two geometrical models of meaning representation, the Semantic Atlas (SA) and the Automatic Contexonym Organizing Model (ACOM). The SA provides maps of m...
131
click to vote
BMCBI
2006
15 years 2 months ago
2006
Background: While biomedical text mining is emerging as an important research area, practical results have proven difficult to achieve. We believe that an important first step tow...
111
Voted
CCS
2010
ACM
15 years 7 days ago
2010
ACM
Given a single program (i.e., bit string), one may assume that the program's behaviors can be determined by first identifying the native runtime architecture and then executi...