4067 search results - page 93 / 814 » Programs for Applying Symmetries |
ICCS
2009
Springer
14 years 2 months ago
2009
Springer
We describe the new undergraduate science degree program in Computational and Data Sciences (CDS) at George Mason University (Mason), which began offering courses for both major (...
SAC
1999
ACM
14 years 12 days ago
1999
ACM
A computing using distributed objects provides a flexible and scalable programming on the distributed and parallel programming environment. People work together on a scientific re...
IPPS
1998
IEEE
14 years 10 days ago
1998
IEEE
Parallel programming continues to be difficult and error-prone, whether starting from specifications or from an existing sequential program. This paper presents (1) a methodology f...
CIE
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. We study a realisability interpretation for inductive and coinductive definitions and discuss its application to program extraction from proofs. A speciality of this inte...
ICTAC
2009
Springer
14 years 2 months ago
2009
Springer
“Classical” program development by refinement [12, 2, 3] is a technique for ensuring that source-level program code remains faithful to the semantic goals set out in its corre...