Sciweavers

4820 search results - page 254 / 964
» Implementing Signatures for C
Sort
View
115
Voted
ANOR
2007
58views more  ANOR 2007»
15 years 3 months ago
A fast swap-based local search procedure for location problems
We present a new implementation of a widely used swap-based local search procedure for the p-median problem, proposed in 1968 by Teitz and Bart. Our method produces the same outpu...
Mauricio G. C. Resende, Renato Fonseca F. Werneck
109
Voted
AUTOMATICA
2007
108views more  AUTOMATICA 2007»
15 years 3 months ago
A minimum-time control strategy for torque tracking in permanent magnet AC motor drives
: A minimum-time torque control strategy for permanent-magnet ac motor drives is presented. The proposed solution is obtained by an ad-hoc procedure based on the computation of rea...
Franco Blanchini, Stefano Miani, Matteo Tomasini, ...
113
Voted
TECS
2008
94views more  TECS 2008»
15 years 3 months ago
Composing heterogeneous reactive systems
elationships between heterogeneous models at different levels of abstraction. In particular, they can be used to represent design transformations from tightly synchronized specific...
Albert Benveniste, Benoît Caillaud, Luca P. ...
125
Voted
IFIP12
2009
15 years 1 months ago
TELIOS: A Tool for the Automatic Generation of Logic Programming Machines
In this paper the tool TELIOS is presented, for the automatic generation of a hardware machine, corresponding to a given logic program. The machine is implemented using an FPGA, wh...
Alexandros C. Dimopoulos, Christos Pavlatos, Georg...
130
Voted
DAC
2009
ACM
16 years 4 months ago
Context-sensitive timing analysis of Esterel programs
Traditionally, synchronous languages, such as Esterel, have been compiled into hardware, where timing analysis is relatively easy. When compiled into software ? e.g., into sequent...
Lei Ju, Bach Khoa Huynh, Samarjit Chakraborty, Abh...