4211 search results - page 232 / 843 » Types as Abstract Interpretations |
124
click to vote
FMICS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. In this paper, we concentrate on incremental synthesis of timed automata for automatic addition of different types of bounded response properties. Bounded response
110
click to vote
ECIR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. This paper investigates the usage of various types of language models on polarity text classification
140
click to vote
PDPTA
1996
15 years 6 months ago
1996
A novel parallel algorithm for matrix multiplication is presented. It is based on a 1-D hyper-systolic processor abstraction. The procedure can be implemented on all types of para...
133
click to vote
POPL
2010
ACM
15 years 12 months ago
2010
ACM
ion-Guided Synthesis of Synchronization Martin Vechev IBM Research Eran Yahav IBM Research Greta Yorsh IBM Research We present a novel framework for automatic inference of effici...
132
click to vote
ICFP
2005
ACM
16 years 5 months ago
2005
ACM
The concept of a "unique" object arises in many emerging programming languages such as Clean, CQual, Cyclone, TAL, and Vault. In each of these systems, unique objects ma...