2373 search results - page 60 / 475 » The Design of the Zinc Modelling Language |
146
click to vote
ESOP
1992
Springer
15 years 5 months ago
1992
Springer
We have designed, implemented, and proved the correctness of a compiler generator that accepts action semantic descriptions of imperative programming languages. The generated comp...
121
click to vote
DGO
2008
15 years 2 months ago
2008
UrbanSim is a modeling system for simulating the development of urban regions over periods of 20-30 years. Its purpose is to help evaluate alternative proposed policies and transp...
102
click to vote
DATE
2003
IEEE
15 years 6 months ago
2003
IEEE
System level synthesis is widely seen as the solution for closing the productivity gap in system design. High level system models are used in system level design for early design ...
132
click to vote
SEMCO
2009
IEEE
15 years 8 months ago
2009
IEEE
—CSML is a semantic markup language created for the publishing and sharing of conceptual spaces, which are geometric structures that represent semantics at the conceptual level. ...
SIGCSE
2006
ACM
15 years 7 months ago
2006
ACM
We describe the implementation of “MARS,” a GUI, Java-based simulator for the MIPS assembly language. MIPS, the computer architecture underlying the simulated assembly languag...