3311 search results - page 321 / 663 » Deductive Object Programming |
145
click to vote
VL
2000
IEEE
15 years 7 months ago
2000
IEEE
Concurrent programming is a complex task, even with modern languages such as Java who provide languagebased support for multithreading and synchronization. In addition to typical ...
120
click to vote
TOPLAS
2002
15 years 2 months ago
2002
traction and information hiding K. RUSTAN M. LEINO and GREG NELSON Compaq Systems Research Center er describes an approach for verifying programs in the presence of data abstractio...
113
Voted
SI3D
2005
ACM
15 years 8 months ago
2005
ACM
We present a novel real-time technique for computing inter-object ambient occlusion. For each occluding object, we precompute a field in the surrounding space that encodes an app...
110
click to vote
ADAEUROPE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...
CP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The stable marriage problem (SM) and the Hospital / Residents problem (HR) are both stable matching problems. They consist of two sets of objects that need to be matched ...