7124 search results - page 255 / 1425 » Programming Languages and Operating Systems |
158
click to vote
PPDP
2005
Springer
16 years 3 days ago
2005
Springer
Type checking and type inference are fundamentally similar problems. However, the algorithms for performing the two operations, on the same type system, often differ significant...
156
click to vote
CIBSE
2009
ACM
16 years 1 months ago
2009
ACM
Model Driven Engineering (MDE) proposes a software development process in which software is built by constructing one or more models, and transforming these into other models. In t...
155
click to vote
SIGADA
2005
Springer
16 years 2 days ago
2005
Springer
One of the most important object-oriented features of the new revision of the Ada Programming Language is the introof Abstract Interfaces to provide a form of multiple nce. Ada 20...
167
click to vote
SAMOS
2004
Springer
15 years 12 months ago
2004
Springer
The SystemC language plays an increasingly important role in the system-level design domain, facilitating designers to start with modeling and simulating system components and thei...
166
click to vote
TOOLS
2009
IEEE
16 years 1 months ago
2009
IEEE
— In this paper, we present our current work on a UML based environment providing efficient means for system