Sciweavers

2715 search results - page 218 / 543
» An Implementation of Narrowing Strategies
Sort
View
ACMACE
2005
ACM
16 years 8 days ago
SymBall: camera driven table tennis for mobile phones
We present a table tennis game concept, implemented for Symbian OS/Series 60 mobile phones, using the phone's integrated camera as the main game controller. The game demonstr...
Mika Hakkarainen, Charles Woodward
FM
2005
Springer
89views Formal Methods» more  FM 2005»
16 years 7 days ago
Control Law Diagrams in Circus
Abstract. Control diagrams are routinely used by engineers in the design of control systems. Yet, currently the formal verification of programs that implement the diagrams is a ch...
Ana Cavalcanti, Phil Clayton, Colin O'Halloran
ICCSA
2005
Springer
16 years 7 days ago
A Parallel Tabu Search Algorithm for Optimizing Multiobjective VLSI Placement
Abstract. In this paper, we present a parallel tabu search (TS) algorithm for efficient optimization of a constrained multiobjective VLSI standard cell placement problem. The prima...
Mahmood R. Minhas, Sadiq M. Sait
JSSPP
2005
Springer
16 years 6 days ago
Co-scheduling with User-Settable Reservations
As grid computing becomes more commonplace, so does the importance of coscheduling these geographically distributed resourcest. Negotiating resource management and scheduling deci...
Kenneth Yoshimoto, Patricia A. Kovatch, Phil Andre...
SBCCI
2003
ACM
119views VLSI» more  SBCCI 2003»
15 years 12 months ago
Design and Prototyping of Direct Torque Control of Induction Motors in FPGAs
This work presents an implementation of a Direct Torque Control (DTC) strategy, which is used to control induction motors. Following a tendency in the research area, the algorithm...
Sandro Ferreira, Felipe Haffner, Luis Fernando Per...