Sciweavers

608 search results - page 45 / 122
» The Expressive Power of Simple Parallelism
Sort
View
SPLST
2003
15 years 7 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
180
Voted
EACL
1989
ACL Anthology
15 years 7 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
16 years 20 days 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
16 years 25 days 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
16 years 14 days 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