2448 search results - page 103 / 490 » The Octahedron Abstract Domain |
SE
2008
13 years 9 months ago
2008
: In this paper we present the language Monaco, which is a DSL for programming event-based, reactive automation solutions. The main purpose of the language is to bring automation p...
CADE
2005
Springer
14 years 8 months ago
2005
Springer
Abstract. We investigate the computational behaviour of `two-dimensional' propositional temporal logics over (N, <) (with and without the next-time operator ?) that are cap...
VTC
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract – One of the major drawbacks of OFDM is high Peakto-Average Power Ratio (PAPR) which can result in poor power efficiency and serious distortion in the transmitter amplif...
DEXAW
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract— Experts are capable of performing complex tasks in their specific field of expertise. To do this, they use a vast amount of explicit and tacit domain knowledge. For v...
FOSSACS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We introduce a domain-theoretic computational model for multivariable differential calculus, which for the first time gives rise to data types for differentiable functio...