4211 search results - page 439 / 843 » Types as Abstract Interpretations |
154
click to vote
DT
2006
15 years 6 months ago
2006
at their abstractions are similar to data types and operations supplied by conventional processors. A core principle of BCPL is its memory model: an The Challenges of Synthesizing ...
165
click to vote
CSDA
2007
15 years 6 months ago
2007
Abstract: Abrupt shifts in the level of a time series represent important information and should be preserved in statistical signal extraction. We investigate rules for detecting l...
173
click to vote
TCOM
2008
15 years 6 months ago
2008
Abstract--The aim of this paper is to study the impact of channel state information on the design of cooperative transmission protocols. This is motivated by the fact that the perf...
145
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We investigate two associative products over the ring of symmetric functions related to the intransitive and Cartesian products of permutation groups. As an application, ...
155
click to vote
CN
2002
15 years 6 months ago
2002
Abstract. Two types of visualization and animation tools for LOTOS execution traces are presented: a translator from LOTOS traces to Message Sequence Charts and a graphic animator....