3995 search results - page 114 / 799 » Linearization of hybrid processes |
130
click to vote
TLCA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...
135
click to vote
FPGA
1995
ACM
15 years 7 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...
122
click to vote
SDM
2009
SIAM
16 years 1 months ago
2009
SIAM
Metaheuristics represent an important class of techniques to solve, approximately, hard combinatorial optimization problems for which the use of exact methods is impractical. In t...
128
click to vote
ENTCS
2007
15 years 3 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...
113
click to vote
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
- Robotic manipulation at the nanometer scale is a promising technology for structuring, characterizing and assembling nano building blocks into nanoelectromechanical systems (NEMS...