1835 search results - page 185 / 367 » Functional Programming of Behavior-Based Systems |
291
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
We propose a new technique for hardware synthesis from higherorder functional languages with imperative features based on Reynolds's Syntactic Control of Interference. The re...
154
Voted
SOFSEM
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. Rewriting is the underlying evaluation mechanism of functional programming languages. Therefore, termination analysis of term rewrite systems (TRSs) is an important techn...
146
Voted
IROS
2009
IEEE
16 years 24 days ago
2009
IEEE
—Software development for industrial robots is still strongly limited by the use of old-style robot programming languages. These languages are tailored to meet a special requirem...
144
click to vote
CSMR
2008
IEEE
16 years 18 days ago
2008
IEEE
Aspect Oriented Programming (AOP) has been proposed as a new programming paradigm. The originality in AOP is the aspect, a single modularization unit for all those functionalities...
183
click to vote
ADHOCNETS
2009
Springer
15 years 10 months ago
2009
Springer
Mobile ad hoc networks (MANETs) are a highly promising new form of networking. However they are more vulnerable to attacks than wired networks. In addition, conventional intrusion ...