1604 search results - page 131 / 321 » Development Separation in Lambda-Calculus |
RSP
2002
IEEE
14 years 3 months ago
2002
IEEE
This paper presents a rapid prototyping technique that focuses on transition management in hybrid systems. In particular, it integrates hybrid modeling and simulation (for specify...
SSIAI
2002
IEEE
14 years 3 months ago
2002
IEEE
We develop a novel measure of joint time-frequency localization applicable to equivalence classes of finite-length discrete signals, which are of increasing importance in modern ...
HYBRID
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. In earlier work, we developed a mathematical hybrid I/O automaton (HIOA) modeling framework, capable of describing both discrete and continuous behavior. This framework h...
ISAAC
2001
Springer
14 years 2 months ago
2001
Springer
We consider the problem of developing algorithms for the recognition of a fixed pattern within a permutation. These methods are based upon using a carefully chosen chain or tree ...
ICCAD
1999
IEEE
14 years 2 months ago
1999
IEEE
A scalable macromodel for substrate noise coupling in heavily doped substrates has been developed. This model is simple since it requires only four parameters which can readily be ...