Sciweavers

608 search results - page 45 / 122
» The Expressive Power of Simple Parallelism
Sort
View
SPLST
2003
14 years 11 months ago
User's Functions in Standard Prolog
We integrate user-defined functions with semantic equations into standard Prolog. In order to interface them with Prolog, we introduce a single operator. If a predicate invocation...
Tibor Ásványi
EACL
1989
ACL Anthology
14 years 11 months ago
Inference in DATR
DATR is a declarative language for representing a restricted class of inheritance networks, permitting both multiple and default inheritance. The principal intended area of applic...
Roger Evans, Gerald Gazdar
CONCUR
2007
Springer
15 years 3 months ago
Causal Message Sequence Charts
Scenario languages based on Message Sequence Charts (MSCs) have been widely studied in the last decade [21,20,3,15,12,19,14]. The high expressive power of MSCs renders many basic ...
Thomas Gazagnaire, Blaise Genest, Loïc H&eacu...
GLOBECOM
2007
IEEE
15 years 4 months ago
Non-Coherent Detection for Amplify-and-Forward Relay Systems in a Rayleigh Fading Environment
— We consider about a multiple relay system operating under amplify-and-forward (AF) protocol and non-coherent modulation and demodulation. When the relays are under long-term po...
Yonglan Zhu, Pooi Yuen Kam, Yan Xin
ERLANG
2006
ACM
15 years 3 months ago
Concurrency oriented programming in termite scheme
Termite Scheme is a variant of Scheme intended for distributed computing. It offers a simple and powerful concurrency model, inspired by the Erlang programming language, which is ...
Guillaume Germain