357 search results - page 60 / 72 » Monaco: A DSL Approach for Programming Automation Systems |
108
click to vote
LPNMR
1997
Springer
15 years 1 months ago
1997
Springer
Turi [20] introduced the important notion of a constrained atom: an atom with associated equality and disequality constraints on its arguments. A set of constrained atoms is a cons...
LPAR
2000
Springer
15 years 1 months ago
2000
Springer
We present the rational construction of a generic domain for structural information analysis of real CLP languages called Pattern(D ), where the parameter D is an abstract domain s...
RTCSA
2006
IEEE
15 years 3 months ago
2006
IEEE
In this paper, we present a model-driven approach to RTOS-based embedded software development and an automated tool that can produce RTOS-specific code. Our contributions are two ...
CASES
2004
ACM
15 years 3 months ago
2004
ACM
Application specific processors offer the potential of rapidly designed logic specifically constructed to meet the performance and area demands of the task at hand. Recently, t...
ITNG
2008
IEEE
15 years 4 months ago
2008
IEEE
We propose the characteristics of a software tool that leverages specifying attack pattern details in understandable hierarchies. These hierarchies are currently manually populate...