3653 search results - page 313 / 731 » On Recognizable Timed Languages |
172
click to vote
AHS
2007
IEEE
16 years 1 months ago
2007
IEEE
Since their invention in the 1980s, the logic density of FPGAs has increased exponentially with time. This increase of logic density first led to the development of synthesisable ...
184
click to vote
ECAL
2007
Springer
16 years 1 months ago
2007
Springer
The Bare Bones language is a programming language with a minimal set of operations that exhibits universal computation. We present a conceptual framework, Chemical Bare Bones, to c...
164
click to vote
ECOOP
2007
Springer
16 years 1 months ago
2007
Springer
Like other software artefacts, metamodels evolve over time. We propose a transformational approach to assist metamodel evolution by stepwise adaptation. In the first part of the p...
174
click to vote
ESOP
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we present an alternative approach to interprocedurally g linear inequality relations. We propose an abstraction of the effects of procedures through convex sets of t...
140
click to vote
AICCSA
2006
IEEE
16 years 28 days ago
2006
IEEE
Software analysis patterns are believed to play a major role in reducing the cost and condensing the time of software product lifecycles. However, analysis patterns have not reali...