284 search results - page 25 / 57 » Evolutionary computation methods for synchronization of effe... |
75
Voted
SPIN
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We present a new decision procedure for detecting property violations in pushdown models for concurrent programs that use lock-based synchronization, where each thread’...
IROS
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— Tactile telepresence has been expected to be technology which encourages operators of robotic systems to remotely maneuver objects or recognize materials being touched ...
BMCBI
2010
14 years 9 months ago
2010
Background: Post-translational modifications (PTMs) have a key role in regulating cell functions. Consequently, identification of PTM sites has a significant impact on understandi...
ICCAD
2002
IEEE
15 years 6 months ago
2002
IEEE
The simulation of on-chip inductance using PEEC-based circuit analysis methods often requires the solution of a subproblem where an extracted inductance matrix must be multiplied ...
ASC
2008
14 years 9 months ago
2008
Abstract. Objective: Age classification of patients based on information extracted from electrocardiograms (ECG's). The scope of this work is to develop and compare the perfor...