Sciweavers

4959 search results - page 314 / 992
» Imperative Functional Programming
Sort
View
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
ICSE
2012
IEEE-ACM
13 years 9 months ago
Temporal analysis of API usage concepts
—Software reuse through Application Programming Interfaces (APIs) is an integral part of software development. The functionality offered by an API is not always accessed uniforml...
Gias Uddin, Barthélémy Dagenais, Mar...
163
Voted
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
149
Voted
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
172
Voted
SNPD
2004
15 years 8 months ago
Metamorphic Testing and Testing with Special Values
The problem of testing programs without test oracles is well known. A commonly used approach is to use special values in testing but this is often insufficient to ensure program c...
Tsong Yueh Chen, Fei-Ching Kuo, Ying Liu, Antony T...