Sciweavers

125 search results - page 17 / 25
» Language-based support for computational thinking
Sort
View
IPPS
1996
IEEE
13 years 11 months ago
Software Techniques for Improving MPP Bulk-Transfer Performance
Brewer and Kuszmaul [BK94] demonstrated how barriers and traffic interleaving can alleviate the problem of bulk-transfer performance degradation on the Thinking Machines CM-5, by ...
Eric A. Brewer, Paul Gauthier, Armando Fox, Angela...
BIRTHDAY
2008
Springer
13 years 9 months ago
From Domain to Requirements
This is a discursive paper. That is, it shows some formulas (but only as examples so that the reader may be convinced that there is, perhaps, some substance to our claims), no theo...
Dines Bjørner
C5
2007
IEEE
13 years 7 months ago
DR. GEO II: Adding Interactivity Planes in Interactive Dynamic Geometry
Interactive geometry environments support the creation and exploitation of interactive geometric sketches. However, such environments are often driven in a rigid manner, following...
Hilaire Fernandes, Stéphane Ducasse, Thibau...
NCA
2007
IEEE
13 years 6 months ago
Safety management of complex technology
One of the key success factors behind the human species is the ability to think, plan and pursue goals. Apart from wisdom and tacit knowledge, experience and awareness of the phys...
Ali G. Hessami
ICCS
2004
Springer
14 years 23 days ago
Multiparadigm Model Oriented to Development of Grid Systems
Multiparadigm approach integrates programming language paradigms. We propose Holoparadigm (Holo) as a multiparadigm model oriented to development of grid systems. Holo uses a logi...
Jorge L. V. Barbosa, Cristiano André da Cos...