8766 search results - page 1257 / 1754 » Functional logic programming |
144
click to vote
IFIP
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Providing energy efficiency in MAC (Medium Access Control) layer, while achieving desirable throughput, is an important research issue in the area of wireless networking....
127
Voted
APSEC
2002
IEEE
15 years 10 months ago
2002
IEEE
Continuous action systems (CAS) is a formalism intended for modeling hybrid systems (systems that combine discrete control with continuous behavior), and proving properties about ...
134
Voted
CHARME
2001
Springer
15 years 9 months ago
2001
Springer
We describe SAFL+: a call-by-value, parallel language in the style of ML which combines imperative, concurrent and functional programming. Synchronous channels allow communication ...
147
click to vote
EUROGP
2001
Springer
15 years 9 months ago
2001
Springer
In this paper, firstly we specialise the exact GP schema theorem for one-point crossover to the case of linear structures of variable length, for example binary strings or program...
138
Voted
CONCUR
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We extend Kobayashi and Sumii’s type system for the deadlock-free π-calculus and develop a type reconstruction algorithm. Kobayashi and Sumii’s type system helps hig...