14403 search results - page 474 / 2881 » Dynamical Systems Trees |
146
click to vote
DAC
1998
ACM
15 years 11 months ago
1998
ACM
We describe a new constructive multilevel logic synthesis system that integrates the traditionally separate technology-independent and technology-dependent stages of modern synthe...
193
click to vote
DLOG
1998
15 years 8 months ago
1998
DLP (Description Logic Prover) is an experimental description logic knowledge representation system. DLP currently implements a superset of propositional dynamic logic as well as ...
179
click to vote
EWSA
2004
Springer
16 years 7 days ago
2004
Springer
This paper provides an overview on the approach of the IST OMEGA project for the development of correct software for embedded systems based on the use of UML as modelling language....
143
click to vote
FLAIRS
2006
2006
Celerina - A Generative Music System Using Aesthetical Reduction Applied to Simple Cellular Automata
15 years 8 months ago
Celerina is the software core of a realtime system for dynamic music generation. Several one-dimensional binary cellular automata generate melodic patterns that are subsequently r...
216
click to vote
ECOOP
2004
Springer
15 years 10 months ago
2004
Springer
In this paper, we present a solution that allows systems to remain active while they are evolving. Our approach goes out from the principle of separated concerns and has two steps....