Sciweavers

165 search results - page 4 / 33
» A Tabling Implementation Based on Variables with Multiple Bi...
Sort
View
ISQED
2006
IEEE
90views Hardware» more  ISQED 2006»
14 years 1 months ago
Advances in Computation of the Maximum of a Set of Random Variables
This paper quantifies the approximation error in Clark’s approach [1] to computing the maximum (max) of Gaussian random variables; a fundamental operation in statistical timing...
Debjit Sinha, Hai Zhou, Narendra V. Shenoy
ECOOP
1999
Springer
13 years 11 months ago
Multi-method Dispatch Using Multiple Row Displacement
Abstract. Multiple Row Displacement (MRD) is a new dispatch technique for multi-method languages. It is based on compressing an n-dimensional table using an extension of the single...
Candy Pang, Wade Holst, Yuri Leontiev, Duane Szafr...
COORDINATION
2008
Springer
13 years 9 months ago
Formalizing Higher-Order Mobile Embedded Business Processes with Binding Bigraphs
Abstract. We propose and formalize HomeBPEL, a higher-order WSBPEL-like business process execution language where processes are firstclass values that can be stored in variables, p...
Mikkel Bundgaard, Arne J. Glenstrup, Thomas T. Hil...
SBACPAD
2007
IEEE
128views Hardware» more  SBACPAD 2007»
14 years 1 months ago
Node Level Primitives for Parallel Exact Inference
We present node level primitives for parallel exact inference on an arbitrary Bayesian network. We explore the probability representation on each node of Bayesian networks and eac...
Yinglong Xia, Viktor K. Prasanna
VAMOS
2010
Springer
13 years 8 months ago
Leveraging Aspect-Connectors to Improve Stability of Product-Line Variabilities
Abstract--One of the design goals of Product Line Architectures (PLAs) is to remain stable while accommodating changes of stakeholder's requirements. However, the stability of...
Marcelo Oliveira Dias, Leonardo Tizzei, Ceí...