1157 search results - page 96 / 232 » Descriptive Complexity and Model Checking |
122
click to vote
CL
2000
Springer
14 years 9 months ago
2000
Springer
Associative Language Descriptions are a recent grammar model, theoretically less powerful than Context Free grammars, but adequate for describing the syntax of programming languag...
110
click to vote
COMPSAC
2002
IEEE
15 years 2 months ago
2002
IEEE
With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that...
ICCAD
1997
IEEE
15 years 2 months ago
1997
IEEE
High-level power estimation, when given only a high-level design specification such as a functional or RTL description, requires high-level estimation of the circuit average acti...
WOSP
2005
ACM
15 years 3 months ago
2005
ACM
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...
COMPSAC
2009
IEEE
15 years 2 months ago
2009
IEEE
Given the rapid rise of model-driven software development methodologies, it is highly desirable that tools be developed to support the use of design patterns in this context. This...