Sciweavers

129 search results - page 3 / 26
» Object-Oriented Programming for Linear Algebra
Sort
View
ENDM
2010
81views more  ENDM 2010»
13 years 5 months ago
Mixed Integer NonLinear Programs featuring "On/Off" constraints: convex analysis and applications
We call "on/off" constraint an algebraic constraint that is activated if and only if
Hassan Hijazi, Pierre Bonami, Gérard Cornu&...
ICCL
1998
IEEE
13 years 10 months ago
Design and Implementation of Triveni: A Process-Algebraic API for Threads + Events
We describe Triveni, a framework and API for integrating threads and events. The design of Triveni is based on an algebra, including preemption combinators, of processes. Triveni ...
Christopher Colby, Lalita Jategaonkar Jagadeesan, ...
IFIP
1994
Springer
13 years 9 months ago
Evolving Algebras and Linear Time Hierarchy
Andreas Blass, Yuri Gurevich
STOC
2012
ACM
242views Algorithms» more  STOC 2012»
11 years 8 months ago
Separating multilinear branching programs and formulas
This work deals with the power of linear algebra in the context of multilinear computation. By linear algebra we mean algebraic branching programs (ABPs) which are known to be com...
Zeev Dvir, Guillaume Malod, Sylvain Perifel, Amir ...