413 search results - page 47 / 83 » Computing Models for FPGA-Based Accelerators |
TACAS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Given a theory T and two formulas A and B jointly unsatisfiable in T , a theory interpolant of A and B is a formula I such that (i) its non-theory symbols are shared by ...
SMC
2007
IEEE
15 years 6 months ago
2007
IEEE
: This paper investigates a new modelling and control issue: the tracking control problem of underactuated dynamic systems by using a special example – a pendulum-driven cart-pol...
103
click to vote
CSE
2009
IEEE
15 years 4 months ago
2009
IEEE
Efficient design of social networking applications must take account of two guiding principles: the adaptive processes by which humans learn and spread new information, and the co...
CEC
2007
IEEE
15 years 3 months ago
2007
IEEE
This paper presents an alternative formulation of the PSO dynamics by a closed loop control system, and analyzes the stability behavior of the system by using Jury's test and ...
109
click to vote
AISB
1995
Springer
15 years 3 months ago
1995
Springer
This paper describes a form of dynamical computational system--4he ant colony---and presents an ant colony model for continuous space optimisation problems. The ant colony metapho...