1021 search results - page 183 / 205 » Design of a Specification Language by Abstract Syntax Engine... |
RE
2001
Springer
15 years 3 months ago
2001
Springer
at different levels of abstraction. There are two very different ways of using such languages. One approach is based on the manifestation of a single model, with construction of di...
112
click to vote
ASWSD
2004
Springer
15 years 4 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...
109
click to vote
SIGSOFT
2008
ACM
15 years 12 months ago
2008
ACM
Runtime monitoring allows programmers to validate, for instance, the proper use of application interfaces. Given a property specification, a runtime monitor tracks appropriate run...
ECOOP
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. While real-time garbage collection is now available in production virtual machines, the lack of generational capability means applications with high allocation rates are ...
GPCE
2007
Springer
15 years 5 months ago
2007
Springer
Embedded systems can be viewed as scaled-down versions of their one counterparts. In many cases, the software abstractions and libraries for embedded systems can be derived from l...