4666 search results - page 347 / 934 » Equations on Timed Languages |
195
click to vote
ATMOS
2008
15 years 8 months ago
2008
In the last 15 years periodic timetable problems have found much interest in the combinatorial optimization community. We will focus on the optimisation task to minimise a weighted...
188
click to vote
FMCAD
2008
Springer
15 years 8 months ago
2008
Springer
Abstract--This paper presents the verification of an asynchronous arbiter modeled at the circuit level with non-linear ordinary differential equations. We use Brockett's annul...
172
click to vote
FPL
2008
Springer
15 years 8 months ago
2008
Springer
Due to continuous improvements in the resources available on FPGAs, it is becoming increasingly possible to accelerate floating point algorithms. The solution of a system of linea...
149
click to vote
ESANN
2007
15 years 8 months ago
2007
This paper proposes a novel nonlinear transient computation device described as the LTCM that uses the chaotic attractor provided by the Lorenz system of equations to perform patte...
198
click to vote
NETWORKING
2007
15 years 8 months ago
2007
This paper presents a general model to study the medium access control (MAC) layer performance and equilibrium of WLANs consisting of nodes with different MAC parameters (e.g., ba...