738 search results - page 37 / 148 » Object Orientation and Formal Techniques |
180
click to vote
ISCOPE
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We discuss the parallelization and object-oriented implementation of Monte Carlo simulations for physical problems. We present a C++ Monte Carlo class library for the aut...
163
click to vote
C++
1994
15 years 8 months ago
1994
The ADAPTIVE Service eXecutive (ASX) is a highly modular and extensible object-oriented framework that simplifies the development and configuration of distributed applications on ...
177
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing doma...
163
click to vote
CBMS
2008
IEEE
16 years 1 months ago
2008
IEEE
Transforming a text-based clinical guideline in a computer-interpretable form is a time-consuming and demanding task due to the various users involved, who have different technica...
175
click to vote
PLDI
1995
ACM
15 years 10 months ago
1995
ACM
Dynamic dispatching is a major source of run-time overhead in object-oriented languages, due both to the direct cost of method lookup and to the indirect effect of preventing othe...