Sciweavers

4743 search results - page 259 / 949
» Introduction to Functional Programming
Sort
View
ICTAC
2009
Springer
16 years 1 months ago
A Deadlock-Free Semantics for Shared Memory Concurrency
Abstract. We design a deadlock-free semantics for a concurrent, functional and imperative programming language where locks are implicitly and univocally associated with pointers. T...
Gérard Boudol
ISPAN
2005
IEEE
16 years 5 days ago
Using Predictive Adaptive Parallelism to Address Portability and Irregularity
A semi-dynamic system is presented that is capable of predicting the performance of parallel programs at runtime. The functionality given by the system allows for efficient handl...
David Wangerin, Isaac D. Scherson
ICRA
1995
IEEE
122views Robotics» more  ICRA 1995»
15 years 10 months ago
Actuator Constraints in Optimal Motion Planning of Manipulators
The optimal motion generation problem is solved subject to various actuator constraints while the motion is constrained to an arbitrary path. The considered objective function is ...
Patrick Plédel, Yasmina Bestaoui
APLAS
2009
ACM
16 years 1 months ago
A Short Cut to Optimal Sequences
We propose a method for easily developing efficient programs for finding optimal sequences, such as the maximum weighted sequence of a set of feasible ones. We formalize a way to ...
Akimasa Morihata
ALP
1990
Springer
15 years 10 months ago
Equation Solving in Conditional AC-Theories
Conditional Equational Programming is an elegant way to uniformly integrate important features of functional and logic programming. Efficientmethods for equation solving are thus ...
Nachum Dershowitz, Subrata Mitra, G. Sivakumar