10718 search results - page 716 / 2144 » On the Circuit Implementation Problem |
161
click to vote
IDL
1994
15 years 8 months ago
1994
Large softwaresystemsrequiredecompositionalmechanismsinorder tomake themtractable. Traditionally, MILs and IDLs have played this role by providing notations based on definition/us...
191
click to vote
PPSC
1993
15 years 8 months ago
1993
We present a new approach to preconditioning for very large, sparse, non-symmetric, linear systems. We explicitly compute an approximate inverse to our original matrix that can be...
175
click to vote
ATVA
2010
Springer
15 years 8 months ago
2010
Springer
In this paper, we provide two compositional algorithms to solve safety games and apply them to provide compositional algorithms for the LTL synthesis problem. We have implemented t...
214
click to vote
GECCO
2008
Springer
15 years 8 months ago
2008
Springer
This note is best described as a ‘Research Challenge’, and concerns building an ultra high frequency (UHF) trading system. The emphasis is on addressing the problems posed by ...
168
click to vote
DAM
2006
15 years 7 months ago
2006
Abstract. In this paper we present an algorithm for the problem of exhaustive equivalence-free generation of 3-connected matroids which are represented by a matrix over some finite...