Sciweavers

1420 search results - page 11 / 284
» A Framework for Scheduler Synthesis
Sort
View
DEDS
2007
111views more  DEDS 2007»
14 years 9 months ago
Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence
This paper presents a general framework for efficient synthesis of supervisors for discrete event systems. The approach is based on compositional minimisation, using concepts of p...
Hugo Flordal, Robi Malik, Martin Fabian, Knut &Ari...
IAJIT
2010
202views more  IAJIT 2010»
14 years 8 months ago
Synthesis of Multibeam Antennas Arrays with a Modified Particle Swarm Optimization Algorithm
: In this paper, we intend to study the synthesis of the multibeam arrays. The synthesis implementation’s method for this type of arrays permits to approach the appropriated radi...
Hichem Chaker, Sidi Mohamed Meriah, Fethi Tarik Be...
IPPS
2002
IEEE
15 years 2 months ago
A Performance Optimization Framework for Compilation of Tensor Contraction Expressions into Parallel Programs
This paper discusses a program synthesis system to facilitate the generation of high-performance parallel programs for a class of computations encountered in quantum chemistry and...
Gerald Baumgartner, David E. Bernholdt, Daniel Coc...
82
Voted
ICAI
2004
14 years 11 months ago
A User Centered Evolutionary Scheduling Framework
The need for supporting CSCW applications with heterogeneous and varying user requirements call for adaptive and reconfigurable schedulers accommodating a mixture of real-time, pro...
Horst Wedde, Muddassar Farooq, Mario Lischka
ASAP
2003
IEEE
153views Hardware» more  ASAP 2003»
15 years 2 months ago
Hardware Synthesis for Multi-Dimensional Time
This paper introduces basic principles for extending the classical systolic synthesis methodology to multi-dimensional time. Multi-dimensional scheduling enables complex algorithm...
Anne-Claire Guillou, Patrice Quinton, Tanguy Risse...