1288 search results - page 130 / 258 » Integrating formal models into the programming languages cou... |
164
click to vote
WSC
1997
15 years 7 months ago
1997
Creating comprehensive simulation models can be expensive and time consuming. This paper discusses our efforts to develop a general methodology that will allow users to quickly an...
149
click to vote
OOPSLA
2004
Springer
15 years 11 months ago
2004
Springer
This demonstration will feature overviews of the C-SAW and GenAWeave projects. The first half of the presentation will introduce the concept of two-level aspect weaving, which uni...
169
click to vote
CASES
2004
ACM
15 years 10 months ago
2004
ACM
Asynchronous Software Thread Integration (ASTI) provides fine-grain concurrency in real-time threads by statically scheduling (integrating) code from primary threads into secondar...
169
click to vote
EUROCAST
2001
Springer
15 years 10 months ago
2001
Springer
We present a Language Prototyping System that facilitates the modular development of interpreters from semantic specifications. The theoretical basis of our system is the integrat...
156
Voted
ENTCS
2006
15 years 6 months ago
2006
Klaim is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...