Sciweavers

1916 search results - page 15 / 384
» Reasoning with class algebra
Sort
View
CDC
2008
IEEE
113views Control Systems» more  CDC 2008»
14 years 4 months ago
Model reduction for a class of input-quantized systems in the max-plus algebra
Abstract— We present a systematic method for model reduction of a class of input-quantized systems in the max-plus algebra. We consider a generalization of the flow shop with ...
Whitney Weyerman, Sean Warnick
CORR
2007
Springer
141views Education» more  CORR 2007»
13 years 9 months ago
A Class of Parallel Tiled Linear Algebra Algorithms for Multicore Architectures
As multicore systems continue to gain ground in the High Performance Computing world, linear algebra algorithms have to be reformulated or new algorithms have to be developed in or...
Alfredo Buttari, Julien Langou, Jakub Kurzak, Jack...
FCT
2009
Springer
14 years 4 months ago
Small-Space Analogues of Valiant's Classes
In the uniform circuit model of computation, the width of a boolean circuit exactly characterises the “space” complexity of the computed function. Looking for a similar relatio...
Meena Mahajan, B. V. Raghavendra Rao