2268 search results - page 220 / 454 » The Essence of Form Abstraction |
VSTTE
2010
Springer
15 years 6 days ago
2010
Springer
Abstract. This paper presents a method for deriving an expression from the lowlevel code compiled from an expression in a high-level language. The input is a low-level control flo...
104
click to vote
CORR
2010
Springer
15 years 4 days ago
2010
Springer
is a challenging problem. We consider here abstract specifications consisting of a composition of components and a controller given in the form of a set of interactions and a prior...
138
Voted
ACL
2010
14 years 12 months ago
2010
Scoring sentences in documents given abstract summaries created by humans is important in extractive multi-document summarization. In this paper, we formulate extractive summariza...
113
click to vote
ASPDAC
2010
ACM
14 years 12 months ago
2010
ACM
Abstract-- Embedded software plays an increasingly important role in implementing modern embedded systems. Development of embedded software, and of Hardware-dependent Software in p...
IEAAIE
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. A classical debate in economics addresses the advantages and drawbacks of modelling from a macroeconomics perspective as opposed to modelling from a microeconomics perspe...