Sciweavers

Share
203 search results - page 1 / 41
» Canonical Big Operators
Sort
View
TPHOL
2008
IEEE
8 years 10 months ago
Canonical Big Operators
In this paper, we present an approach to describe uniformly iterated “big” operations, like Pn i=0 f(i) or maxi∈I f(i) and to provide lemmas that encapsulate all the commonly...
Yves Bertot, Georges Gonthier, Sidi Ould Biha, Ioa...
CORR
2016
Springer
67views Education» more  CORR 2016»
3 years 19 days ago
Dot-Product Join: An Array-Relation Join Operator for Big Model Analytics
Big Data analytics has been approached exclusively from a data-parallel perspective, where data are partitioned to multiple workers – threads or separate servers – and model t...
Chengjie Qin, Florin Rusu
ESOP
2006
Springer
8 years 8 months ago
Coinductive Big-Step Operational Semantics
Using a call-by-value functional language as an example, this article illustrates the use of coinductive definitions and proofs in big-step operational semantics, enabling it to d...
Xavier Leroy
APLAS
2010
ACM
8 years 4 months ago
Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics
This paper studies the problem of statically determining upper bounds on the resource consumption of first-order functional programs. A previous work approached the problem with an...
Jan Hoffmann 0002, Martin Hofmann
NECO
2008
120views more  NECO 2008»
8 years 4 months ago
A Canonical Neural Circuit for Cortical Nonlinear Operations
Minjoon Kouh, Tomaso Poggio
books