16666 search results - page 107 / 3334 » Descriptive and Computational Complexity |
107
click to vote
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
SystemC is becoming a de-facto standard for the description of complex systems-on-a-chip. It enables system-level descriptions of SoCs: the same language is used for the descripti...
120
click to vote
ICECCS
1997
IEEE
15 years 8 months ago
1997
IEEE
Software architectures can play a role in improving the testing process of complex systems. In particular, descriptions of the software architecture can be useful to drive integra...
145
click to vote
AI
1999
Springer
15 years 3 months ago
1999
Springer
Forthcoming in the Journal of Aritificial Intelligence We introduce mathematical programming and atomic decomposition as the basic modal (T-Box) inference techniques for a large c...
102
Voted
STOC
2006
ACM
16 years 4 months ago
2006
ACM
