2226 search results - page 101 / 446 » Pdk: The System and Its Language |
168
click to vote
PLDI
1997
ACM
15 years 10 months ago
1997
ACM
One of the flagship applications of partial evaluation is compilation and compiler generation. However, partial evaluation is usually expressed as a source-to-source transformati...
188
click to vote
MODELS
2010
Springer
15 years 4 months ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...
186
click to vote
FDL
2004
IEEE
15 years 10 months ago
2004
IEEE
The steadily increasing complexity of embedded systems requires comprehensive methodoloat support the design process from the highest possible abstraction level. In most of the cu...
171
click to vote
IC3
2010
15 years 6 months ago
2010
The paper presents a software re-engineering approach that is being used by a consortium of eleven academic institutions facilitated by a software engineering group to re-engineer ...
162
click to vote
VL
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper described a browsing system for movie database. The system, named ZASH, was designed and developed to explore the following features: (1) the use of multiple 2D planes ...