3600 search results - page 97 / 720 » The settling-time reducibility ordering |
141
click to vote
KES
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, we introduce an effective strategy for subgoal division and ordering based upon recursive subgoals and combine this strategy with a genetic-based planning approach....
145
click to vote
ICCD
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we propose a novel compact BDD structure, called Non-crossing ordered BDD (NCOBDD), that can be mapped directly to a regular circuit structure. Compared with other ...
164
click to vote
ISMVL
2000
IEEE
15 years 10 months ago
2000
IEEE
A sequential realization of multiple-output logic functions is presented. A conventional sequential realization is based on SBDDs (Shared reduced ordered Binary Decision Diagrams)...
141
click to vote
ISSAC
1990
Springer
15 years 10 months ago
1990
Springer
Let a system of linear ordinary differential equations of the first order Y' = AY be given, where A is n x n matrix over a field F(X), assume that the degree degx(A) < d a...
178
click to vote
EURODAC
1995
IEEE
15 years 9 months ago
1995
IEEE
With VHDL models increasing their size, it becomes more important to assure the quality of these descriptions in order to improve simulation performances, to make project maintain...