Sciweavers

129 search results - page 3 / 26
» Object-Oriented Programming for Linear Algebra
Sort
View
84
Voted
ENDM
2010
81views more  ENDM 2010»
15 years 1 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&...
108
Voted
ICCL
1998
IEEE
15 years 5 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, ...
80
Voted
IFIP
1994
Springer
15 years 5 months ago
Evolving Algebras and Linear Time Hierarchy
Andreas Blass, Yuri Gurevich
224
Voted
POPL
2004
ACM
16 years 1 months ago
Precise interprocedural analysis through linear algebra
Helmut Seidl, Markus Müller-Olm
127
Voted
STOC
2012
ACM
242views Algorithms» more  STOC 2012»
13 years 3 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 ...