Sciweavers

5898 search results - page 982 / 1180
» Parallel Computing Environments and Methods
Sort
View
136
Voted
COMCOM
1998
117views more  COMCOM 1998»
15 years 3 months ago
Specification, validation, and verification of time-critical systems
In this paper, we propose a new formalism, named the Timed Communicating Finite State Machine (Timed CFSM), for specifying and verifying time-critical systems. Timed CFSM preserve...
Shiuh-Pyng Shieh, Jun-Nan Chen
NC
2002
210views Neural Networks» more  NC 2002»
15 years 3 months ago
Recent approaches to global optimization problems through Particle Swarm Optimization
This paper presents an overview of our most recent results concerning the Particle Swarm Optimization (PSO) method. Techniques for the alleviation of local minima, and for detectin...
Konstantinos E. Parsopoulos, Michael N. Vrahatis
146
Voted
JCC
2008
122views more  JCC 2008»
15 years 1 months ago
Asynchronous replica exchange for molecular simulations
: An asynchronous implementation of the replica exchange method that addresses some of the limitations of conventional synchronous replica exchange implementations is presented. In...
Emilio Gallicchio, Ronald M. Levy, Manish Parashar
109
Voted
ICASSP
2011
IEEE
14 years 7 months ago
Efficient convex optimization for real-time robust beamforming with microphone arrays
This paper presents an efficient implementation of a robust adaptive beamforming algorithm based on convex optimization for applications in the processing-constrained environment...
Eric A. Durant, Ivo Merks, Bill Woods, Jinjun Xiao...
ICPADS
2005
IEEE
15 years 9 months ago
A Two-Level Strategy for Topology Control in Wireless Sensor Networks
— This paper presents a two-level strategy for topology control in wireless sensor networks. The energy saving methods in most of the existing research work can be categorized in...
Bolian Yin, Hongchi Shi, Yi Shang