4959 search results - page 167 / 992 » Imperative Functional Programming |
124
click to vote
BIRTHDAY
2004
Springer
15 years 4 months ago
2004
Springer
CSP was originally introduced as a parallel programming language in which sequential imperative processes execute concurrently and communicate by synchronized input and output. The...
IFIP
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Reliable link quality prediction is an imperative for the efficient operation of mobile ad-hoc wireless networks (MANETs). In this paper it is shown that popular link qua...
112
click to vote
ISSAC
2004
Springer
15 years 4 months ago
2004
Springer
In [17], an abstract framework for automatically generating loop invariants of imperative programs was proposed. This framework was then instantiated for the language of conjuncti...
107
click to vote
MICRO
2003
IEEE
15 years 4 months ago
2003
IEEE
With power dissipation becoming an increasingly vexing problem across many classes of computer systems, measuring power dissipation of real, running systems has become crucial for...
100
click to vote
ADBIS
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. XML views can be used in Web applications to resolve incompatibilities among heterogeneous XML sources. They allow to reduce the amount of data that a user has to deal wi...