5244 search results - page 339 / 1049 » Structural Complexity of AvgBPP |
126
click to vote
SIGCSE
1998
ACM
15 years 11 months ago
1998
ACM
,’ Theideaof ahierarchicaldesignandintegrationof programming projectsin the computerscienceundergraduatecurriculum is proposedanddiscussed.Researchresultsin softwarereuseandobje...
165
click to vote
FSTTCS
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
208
click to vote
DATE
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper describes new algorithms for systemlevel software synthesis, namely the scheduling and allocation of a set of complex tasks running at multiple rates on a heterogeneous...
144
click to vote
ICCD
1997
IEEE
15 years 11 months ago
1997
IEEE
In this paper, we suggest a block-restricted sifting strategy which is based on the restriction of Rudell's sifting to certain blocks of variables. The application of this st...
168
click to vote
RELMICS
1998
Springer
15 years 11 months ago
1998
Springer
We present a class of polymodal logics for which the set of terms indexing the modal connectives can be hierarchized in two levels: the set of Boolean terms and the set of terms b...