Sciweavers

10899 search results - page 92 / 2180
» The GP Programming System
Sort
View
FM
2003
Springer
96views Formal Methods» more  FM 2003»
14 years 2 months ago
Event Based Sequential Program Development: Application to Constructing a Pointer Program
In this article, I present an “event approach” used to formally develop sequential programs. It is based on the formalism of Action Systems [6] (and Guarded Commands[7]), which...
Jean-Raymond Abrial
IJCNN
2000
IEEE
14 years 1 months ago
Comparison of a Heuristic Dynamic Programming and a Dual Heuristic Programming Based Adaptive Critics Neurocontroller for a Turb
: This paper presents the design of a neurocontroller for a turbogenerator that augments/replaces the conventional Automatic Voltage Regulator (AVR) and the turbine governor. The n...
Ganesh K. Venayagamoorthy, Ronald G. Harley, Donal...
SIGMETRICS
2011
ACM
161views Hardware» more  SIGMETRICS 2011»
12 years 11 months ago
Modeling program resource demand using inherent program characteristics
The workloads in modern Chip-multiprocessors (CMP) are becoming increasingly diversified, creating different resource demands on hardware substrate. It is necessary to allocate h...
Jian Chen, Lizy Kurian John, Dimitris Kaseridis
CACM
1999
49views more  CACM 1999»
13 years 8 months ago
OO Distributed Programming is Not Distributed OO Programming
centralized abstractions. The metaphor of a community of independent objects communicating by passing messages is misleading and dangerous when thinking in terms of a distributed s...
Rachid Guerraoui, Mohamed Fayad
ENTCS
2007
103views more  ENTCS 2007»
13 years 9 months ago
Static Slicing of Rewrite Systems
Program slicing is a method for decomposing programs by analyzing their data and control flow. Slicingbased techniques have many applications in the field of software engineerin...
Diego Cheda, Josep Silva, Germán Vidal