1628 search results - page 136 / 326 » Compiler Construction Using Scheme |
117
Voted
HYBRID
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. In this paper we propose a trajectory based reachability analysis by using local finite-time invariance property. Trajectory based analysis are based on the execution tra...
121
Voted
TIT
1998
15 years 2 months ago
1998
—A length n group code over a group G is a subgroup of Gn under component-wise group operation. Group codes over dihedral groups DM, with 2M elements, that are two-level construc...
133
Voted
CEC
2010
IEEE
15 years 2 months ago
2010
IEEE
— In this paper, we illustrate the use of a reference point based many-objective particle swarm optimization algorithm to optimize low-speed airfoil aerodynamic designs. Our fram...
117
Voted
IEEEPACT
2000
IEEE
15 years 7 months ago
2000
IEEE
A multiprocessor prefetch scheme is described in which a miss is followed by a prefetch of a group of lines, a neighborhood, surrounding the demand-fetched line. The neighborhood ...
130
Voted
SPRINGSIM
2010
15 years 1 months ago
2010
This paper presents a distributed Bayesian fault diagnosis scheme for physical systems. Our diagnoser design is based on a procedure for factoring the global system bond graph (BG...