3911 search results - page 330 / 783 » Using Operational Architecture to Model Embedded Software |
195
click to vote
HASKELL
2006
ACM
16 years 22 days ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
173
click to vote
EMSOFT
2004
Springer
16 years 4 days ago
2004
Springer
Dataflow synchronous languages have attracted considerable interest in domains such as real-time control and hardware design. The potential benefits are promising: Discrete-time...
185
click to vote
DAC
2009
ACM
15 years 10 months ago
2009
ACM
The Synchronous Dataflow (SDF) model of computation is popular for modelling the timing behaviour of real-time embedded hardware and software systems and applications. It is an es...
200
click to vote
ICMLA
2009
15 years 4 months ago
2009
State-of-the-art pattern recognition methods have difficulty dealing with problems where the dimension of the output space is large. In this article, we propose a new framework ba...
189
click to vote
ELPUB
2008
ACM
15 years 8 months ago
2008
ACM
Open Medicine (http://www.openmedicine.ca) is an electronic open access, peer-reviewed general medical journal that started publication in April 2007. The editors of Open Medicine...