Sciweavers

2200 search results - page 120 / 440
» The Generalized Pignistic Transformation
Sort
View
AGP
1997
IEEE
15 years 5 months ago
Safe Folding/Unfolding with Conditional Narrowing
Abstract. Functional logic languages with a complete operational semantics are based on narrowing, a generalization of term rewriting where unification replaces matching. In this ...
María Alpuente, Moreno Falaschi, Giné...
81
Voted
WSC
2000
15 years 2 months ago
Simulating GI/GI/1 queues and insurance risk processes with subexponential distributions
This paper deals with estimating small tail probabilities of the steady-state waiting time in a GI/GI/1 queue with heavy-tailed (subexponential) service times. The problem of esti...
Nam Kyoo Boots, Perwez Shahabuddin
136
Voted
SPE
2008
108views more  SPE 2008»
15 years 21 days ago
Effective asymmetric XML compression
The innate verbosity of the Extensible Markup Language remains one of its main weaknesses, especially when large XML documents are concerned. This problem can be solved with the a...
Przemyslaw Skibinski, Szymon Grabowski, Jakub Swac...
ICFP
2008
ACM
16 years 23 days ago
Quotient lenses
There are now a number of bidirectional programming languages, where every program can be read both as a forward transformation mapping one data structure to another and as a reve...
J. Nathan Foster, Alexandre Pilkiewicz, Benjamin C...
91
Voted
DAC
2009
ACM
16 years 1 months ago
Speculation in elastic systems
Speculation is a well-known technique for increasing parallelism of the microprocessor pipelines and hence their performance. While implementing speculation in modern design pract...
Marc Galceran Oms, Jordi Cortadella, Michael Kishi...