Sciweavers

2977 search results - page 66 / 596
» Programming Environments for Novices
Sort
View
IPPS
1998
IEEE
14 years 2 months ago
Building BSP Programs Using the Refinement Calculus
Abstract. We extend the refinement calculus to permit the derivation of programs in the Bulk Synchronous Parallelism (BSP) style. This demonstrates that formal approaches developed...
David B. Skillicorn
ANOR
2006
58views more  ANOR 2006»
13 years 10 months ago
A management system for decompositions in stochastic programming
This paper presents two contributions: A set of routines that manipulate instances of stochastic programming problems in order to make them more amenable for different solution ap...
Robert Fourer, Leo Lopes
WSC
2008
14 years 9 days ago
PLCStudio: Simulation based PLC code verification
Proposed in this paper is the architecture of a PLC programming environment that enables a visual verification of PLC programs. The proposed architecture integrates a PLC program ...
Sang C. Park, Chang Mok Park, Gi-Nam Wang, Jonggeu...
ICSE
2000
IEEE-ACM
14 years 1 months ago
E-Slate: a software architectural style for end-user programming
This paper describes E-Slate (http://E-Slate.cti.gr), an exploratory learning environment that builds on a componentbased approach, to enable end-users to create educational softw...
George Birbilis, Manolis Koutlis, Kriton Kyrimis, ...
DCOSS
2010
Springer
14 years 2 months ago
Tables: A Spreadsheet-Inspired Programming Model for Sensor Networks
Abstract. Current programming interfaces for sensor networks often target experienced developers and lack important features. Tables is a spreadsheet inspired programming environme...
James Horey, Eric Nelson, Arthur B. Maccabe