Sciweavers

5314 search results - page 31 / 1063
» Hybrid Dynamic Programming
Sort
View
IEEEPACT
2007
IEEE
14 years 4 months ago
JudoSTM: A Dynamic Binary-Rewriting Approach to Software Transactional Memory
With the advent of chip-multiprocessors, we are faced with the challenge of parallelizing performance-critical software. Transactional memory (TM) has emerged as a promising progr...
Marek Olszewski, Jeremy Cutler, J. Gregory Steffan
CDC
2008
IEEE
124views Control Systems» more  CDC 2008»
14 years 4 months ago
A passive 2DOF walker: Finding gait cycles using virtual holonomic constraints
— A planar compass-like biped on a shallow slope is the simplest model of a passive walker. It is a two-degrees-offreedom impulsive mechanical system known to possess periodic so...
Leonid B. Freidovich, Uwe Mettin, Anton S. Shiriae...
LICS
1996
IEEE
14 years 2 months ago
The Theory of Hybrid Automata
Ahybrid automatonis a formalmodelfor a mixeddiscrete-continuous system. We classify hybrid automata acoording to what questions about their behavior can be answered algorithmically...
Thomas A. Henzinger
ICLP
2005
Springer
14 years 3 months ago
Hybrid Probabilistic Logic Programs with Non-monotonic Negation
1 In [20], a new Hybrid Probabilistic Logic Programs framework is proposed, and a new semantics is developed to enable encoding and reasoning about real-world applications. In this...
Emad Saad, Enrico Pontelli
ICPPW
2005
IEEE
14 years 3 months ago
Load Balancing Hybrid Programming Models for SMP Clusters and Fully Permutable Loops
This paper emphasizes on load balancing issues associated with hybrid programming models for the parallelization of fully permutable nested loops onto SMP clusters. Hybrid paralle...
Nikolaos Drosinos, Nectarios Koziris