2035 search results - page 368 / 407 » On the complexity of stratified logics |
CASES
2006
ACM
15 years 4 months ago
2006
ACM
Architectural advances of modern systems has often been at odds with control complexity, requiring significant effort in both design and verification. This is particularly true ...
89
Voted
ASPDAC
2005
ACM
15 years 4 months ago
2005
ACM
The progressive trend of fabrication technologies towards the nanometer regime has created a number of new physical design challenges for computer architects. Design complexity, u...
108
click to vote
ASWSD
2004
Springer
15 years 3 months ago
2004
Springer
The paper first presents the integration options of what we call the Timing Description Language (TDL) with MathWorks' Simulink tools. Based on the paradigm of logical executi...
DAWAK
2004
Springer
15 years 3 months ago
2004
Springer
EXtensible Markup Language (XML) has emerged as the dominant standard in describing and exchanging data among heterogeneous data sources. XML with its self-describing hierarchical ...
SERA
2004
Springer
15 years 3 months ago
2004
Springer
NuEditor is a tool suite supporting specification and verification of software requirements written in NuSCR. NuSCR extends SCR (Software Cost Reduction) notation that has been us...