1041 search results - page 55 / 209 » Object Oriented Parallel Programming |
ECOOP
2009
Springer
14 years 9 months ago
2009
Springer
We propose a novel approach based on coinductive logic to specify type systems of programming languages. The approach consists in encoding programs in Horn formulas which are inter...
SC
2000
ACM
14 years 1 months ago
2000
ACM
The developers of high-performance scientific applications often work in complex computing environments that place heavy demands on program analysis tools. The developers need to...
ECOOP
1991
Springer
14 years 9 days ago
1991
Springer
: Polymorphic inline caches (PICs) provide a new way to reduce the overhead of polymorphic message sends by extending inline caches to include more than one cached lookup result pe...
CCGRID
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper proposes a View-Oriented Update Protocol with Integrated Diff for efficient implementation of a View-based Consistency model which supports a novel View-Oriented Paral...
WOTUG
2008
13 years 10 months ago
2008
When teaching concurrency, using a process-oriented language, it is often introduced through a visual representation of programs in the form of process network . These diagrams all...