Sciweavers

413 search results - page 16 / 83
» Synthesis of Distributed Algorithms Using Asynchronous Autom...
Sort
View
ICCAD
1993
IEEE
111views Hardware» more  ICCAD 1993»
15 years 1 months ago
Unifying synchronous/asynchronous state machine synthesis
We present a design style and synthesis algorithm that encompasses both asynchronous and synchronous state machines. Our proposed design style not only supports generalized “bur...
Kenneth Y. Yun, David L. Dill
IPPS
2007
IEEE
15 years 3 months ago
STAMP: A Universal Algorithmic Model for Next-Generation Multithreaded Machines and Systems
We propose a generic algorithmic model called STAMP (Synchronous, Transactional, and Asynchronous MultiProcessing) as a universal performance and power complexity model for multit...
Michel Dubois, Hyunyoung Lee, Lan Lin
CDC
2009
IEEE
137views Control Systems» more  CDC 2009»
15 years 2 months ago
Asynchronous gossip algorithms for stochastic optimization
Abstract— We consider a distributed multi-agent network system where the goal is to minimize an objective function that can be written as the sum of component functions, each of ...
Sundhar Srinivasan Ram, Angelia Nedic, Venugopal V...
93
Voted
LICS
2005
IEEE
15 years 3 months ago
Uniform Distributed Synthesis
We provide a uniform solution to the problem of synthesizing a finite-state distributed system. An instance of the synthesis problem consists of a system architecture and a tempo...
Bernd Finkbeiner, Sven Schewe
CEC
2009
IEEE
15 years 2 months ago
Parallel global optimisation meta-heuristics using an asynchronous island-model
Abstract— We propose an asynchronous island-model algorithm distribution framework and test the popular Differential Evolution algorithm performance when a few processors are ava...
Dario Izzo, Marek Rucinski, Christos Ampatzis