4814 search results - page 249 / 963 » Combining abstract interpreters |
181
click to vote
TLCA
2007
Springer
16 years 20 days ago
2007
Springer
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...
164
click to vote
WORDS
2005
IEEE
16 years 4 days ago
2005
IEEE
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...
140
click to vote
ASM
2005
ASM
16 years 3 days ago
2005
ASM
AsmL is a novel executable specification language based on the theory of State Machines (ASMs). It represents one of the most powerful practical engines to write and execute ASMs...
188
click to vote
AUSAI
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. In this paper we propose a clustering algorithm called sCluster for analysis of gene expression data based on pattern-similarity. The algorithm captures the tight cluster...
184
click to vote
EUC
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. With rapid advancements in wireless devices, ubiquitous computing seems becoming a reality everyday. Active pervasive network infrastructure has been introduced to offer...