2607 search results - page 322 / 522 » Complete Functional Synthesis |
142
click to vote
DATE
2004
IEEE
15 years 8 months ago
2004
IEEE
This work focuses on communication architecture analysis for multi-processor Systems-on-Chips (MPSoCs), and it leverages a SystemC-based platform to simulate a complete multi-proc...
145
click to vote
EWCBR
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The problem of defining robot behaviors to completely address a large and complex set of situations is very challenging. We present an approach for robot's action se...
125
click to vote
FMCAD
2006
Springer
15 years 8 months ago
2006
Springer
In this paper we present a complete method for verifying properties expressed in the temporal logic CTL. In contrast to the majority of verification methods presented in recent yea...
127
click to vote
IFIP
2000
Springer
15 years 7 months ago
2000
Springer
: IEEE 802.11 is a wireless network standard that was completed in 1997. Unfortunately, the medium access protocol described in the standard meets some problems that arise from the...
143
click to vote
PPDP
2000
Springer
15 years 7 months ago
2000
Springer
Erlang is a concurrent functional programming language designed to ease the development of large-scale distributed soft real-time control applications. It has so far been quite su...