Sciweavers

171
Voted
ISSS
2000
IEEE
191views Hardware» more  ISSS 2000»
15 years 7 months ago
Conditional Scheduling for Embedded Systems using Genetic List Scheduling
One important part of a HW/SW codesign system is the scheduler which is needed in order to determine if a given HW/SW partitioning is suitable for a given application. In this pap...
Martin Grajcar
TIC
1998
Springer
15 years 7 months ago
A Toolkit for Constructing Type- and Constraint-Based Program Analyses
Alexander Aiken, Manuel Fähndrich, Jeffrey S....
121
Voted
ISSAC
2000
Springer
81views Mathematics» more  ISSAC 2000»
15 years 7 months ago
Determination of maximal symmetry groups of classes of differential equations
Gregory J. Reid, Allan D. Wittkopf
111
Voted
ISSAC
2000
Springer
88views Mathematics» more  ISSAC 2000»
15 years 7 months ago
Solving projective complete intersection faster
Bernard Mourrain, Philippe Trebuchet
ISSAC
2000
Springer
94views Mathematics» more  ISSAC 2000»
15 years 7 months ago
Computing normalizers of permutation groups efficiently using isomorphisms of association schemes
This note presents an algorithm to speed up the computation of normalizers of permutation groups. It is an application of computation of isomorphisms of association schemes. Categ...
Izumi Miyamoto