3516 search results - page 232 / 704 » Programming Languages: Application and Interpretation |
147
click to vote
ICECCS
2000
IEEE
15 years 11 months ago
2000
IEEE
The goal of result-verificationis toprove that one execution run of a program satisjes its speciJcation. Compared with iniplenzentation-verification,result-verification has a larg...
126
click to vote
IWPC
2010
IEEE
15 years 5 months ago
2010
IEEE
The measure dep-degree is a simple indicator for structural problems and complex dependencies on code-level. We model low-level dependencies between program operations as use-def ...
162
click to vote
ERLANG
2003
ACM
15 years 12 months ago
2003
ACM
The distributed telecommunications sector not only requires minimal time to market, but also software that is reliable, available, maintainable and scalable. High level programmin...
187
click to vote
ECOOP
1999
Springer
15 years 11 months ago
1999
Springer
Object-oriented programming techniques have been used with great success for some time. But the techniques of object-oriented programming have been largely confined to the single a...
159
click to vote
ADAEUROPE
2004
Springer
15 years 12 months ago
2004
Springer
Abstract: A framework for application-defined scheduling and its corresponding application program interface (API) were defined during the last International Real-Time Ada Workshop...