8766 search results - page 1505 / 1754 » Functional logic programming |
145
click to vote
DSN
2000
IEEE
15 years 7 months ago
2000
IEEE
Although Microsoft Windows is being deployed in mission-critical applications, little quantitative data has been published about its robustness. We present the results of executin...
133
Voted
VRML
2000
ACM
15 years 7 months ago
2000
ACM
Modeling is used to build structures that serve as surrogates for other objects. As children, we learn to model at a very young age. An object such as a small toy train teaches us...
120
Voted
MOBICOM
1999
ACM
15 years 7 months ago
1999
ACM
A key challenge facing wireless networking is to utilize the spectrum as e ciently as possible given current channel conditions and in the most e ective way for each application. ...
143
click to vote
ISSS
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper describes a mechanism for automatic design and synthesis of very long instruction word (VLIW), and its generalization, explicitly parallel instruction computing rocesso...
106
Voted
PLILP
1993
Springer
15 years 7 months ago
1993
Springer
Chaotic iteration sequences is a method for approximating fixpoints of monotonic functions proposed by Patrick and Radhia Cousot. It may be used in specialisation algorithms for ...