Sciweavers

5314 search results - page 100 / 1063
» Hybrid Dynamic Programming
Sort
View

Book
2455views
15 years 8 months ago
Art of Programming Contest - C Programming Tutorials | Data Structures | Algorithms
"The objective of this edition is not only to assist the contestants during the contest hours but also describing the core subjects of Computer Science such as C Programming, ...
Ahmed Shamsul Arefin
EOR
2006
65views more  EOR 2006»
13 years 10 months ago
Dynamic programming and minimum risk paths
: This paper addresses the problem of computing minimum risk paths by taking as objective the expected accident cost. The computation is based on a dynamic programming formulation ...
Paolo Serafini
ESOP
2003
Springer
14 years 3 months ago
Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling
Abstract. A goal-independent suspension analysis is presented that infers a class of goals for which a logic program with delays can be executed without suspension. The crucial poi...
Samir Genaim, Andy King
ISCA
2012
IEEE
232views Hardware» more  ISCA 2012»
12 years 15 days ago
RADISH: Always-on sound and complete race detection in software and hardware
Data-race freedom is a valuable safety property for multithreaded programs that helps with catching bugs, simplifying memory consistency model semantics, and verifying and enforci...
Joseph Devietti, Benjamin P. Wood, Karin Strauss, ...
DAGSTUHL
2006
13 years 11 months ago
Upper and Lower Bounds on Sizes of Finite Bisimulations of Pfaffian Dynamical Systems
In this paper we study a class of dynamical systems defined by Pfaffian maps. It is a sub-class of o-minimal dynamical systems which capture rich continuous dynamics and yet can be...
Margarita V. Korovina, Nicolai Vorobjov