11066 search results - page 237 / 2214 » Linearity in Process Languages |
142
click to vote
FPGA
1995
ACM
15 years 8 months ago
1995
ACM
A novel approach is presented for transforming a given scheduled and bound signal processing algorithm for a multiplexer based datapath to a BUS/RAM based FPGA datapath. A datapat...
136
Voted
ENTCS
2007
15 years 4 months ago
2007
Labelled Markov processes (LMPs) are labelled transition systems in which each transition has an associated probability. In this paper we present a universal LMP as the spectrum o...
112
click to vote
CONCUR
1999
Springer
15 years 9 months ago
1999
Springer
Statecharts is a visual language for specifying the behavior of reactive systems. The language extends nite-state machines with concepts of hierarchy, concurrency, and priority. De...