Sciweavers

435 search results - page 44 / 87
» Generative Programming and Active Libraries
Sort
View
IFIP3
2004
99views Education» more  IFIP3 2004»
14 years 11 months ago
Government sponsored open source software for school education
: The history of computing can be seen in terms of cultural change engendered by philosophical opposition. In education some key philosophical dichotomies are those of commercial-c...
Andrew E. Fluck
WSC
2007
14 years 12 months ago
Simulation 101 software: workshop and beyond
The C source code associated with the Simulation 101 preconference workshop (offered at the 2006 and 2007 Winter Simulation Conferences) is presented here. This paper begins with ...
Barry Lawson, Lawrence Leemis
FM
2006
Springer
148views Formal Methods» more  FM 2006»
15 years 1 months ago
Automatic Translation from Circus to Java
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...
Angela Freitas, Ana Cavalcanti
56
Voted
IPPS
2010
IEEE
14 years 7 months ago
Ensuring deterministic concurrency through compilation
Abstract--Multicore shared-memory architectures are becoming prevalent but bring many programming challenges. Among the biggest is non-determinism: the output of the program does n...
Nalini Vasudevan, Stephen A. Edwards
HICSS
2000
IEEE
121views Biometrics» more  HICSS 2000»
15 years 2 months ago
Working with Patterns and Code
This paper describes the basis for a suite of tools that let the programmer work in terms of design patterns and source code simultaneously. It first introduces a language for de...
Steven P. Reiss