1828 search results - page 75 / 366 » First-Class Type Classes |
IPPS
2006
IEEE
15 years 5 months ago
2006
IEEE
A new class of parallel normalized preconditioned conjugate gradient type methods in conjunction with normalized approximate inverses algorithms, based on normalized approximate f...
103
click to vote
CSL
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Girard’s Geometry of Interaction (GoI) develops a mathematical framework for modelling the dynamics of cut-elimination. We introduce a typed version of GoI, called Mult...
ECOOP
2010
Springer
15 years 4 months ago
2010
Springer
Data-centric synchronization groups fields of objects into atomic sets to indicate they must be updated atomically. Each atomic set has associated units of work, code fragments th...
105
click to vote
ATVA
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...
ENGL
2007
14 years 11 months ago
2007
Nowadays, fly ash is a common ingredient of concrete and may constitute up to 50% by weight of the total binder material. Incorporation of fly ash in Portland-cement concrete is hi...