54 search results - page 3 / 11 » Constructor-Based Conditional Narrowing |
PLILP
1993
Springer
13 years 10 months ago
1993
Springer
Many recent proposals for the integration of functional and logic programming use conditional term rewriting systems (CTRS) as programs and narrowing as goal solving mechanism. Thi...
TRETS
2010
13 years 29 days ago
2010
A ring oscillator based true-random number generator design (Rings design) was introduced in [1]. The design was rigorously analyzed under a mathematical model and its performance...
ICRA
2010
IEEE
13 years 4 months ago
2010
IEEE
Abstract— We consider the classical task of transporting resources from source to home by a group of autonomous robots. The robots use ant-like trail following to navigate betwee...
ISOLA
2010
Springer
13 years 4 months ago
2010
Springer
With the Internet designed to provide best-effort packet transmission, applications are expected to adapt dynamically to the operating conditions observed in the network. For this ...
KBSE
2010
IEEE
13 years 4 months ago
2010
IEEE
A Software Product Line (SPL) is a family of programs. Testing an SPL is a challenge because the number of programs to examine may be exponential in the number of features. Howeve...