Sciweavers

10899 search results - page 625 / 2180
» The GP Programming System
Sort
View
C3S2E
2008
ACM
15 years 8 months ago
Concurrent software engineering: preparing for paradigm shift
Software systems bridge the gap between information processing needs and available computer hardware. As system requirements grow in complexity and hardware evolves, the gap does ...
Peter Grogono, Brian Shearing
CPHYSICS
2007
114views more  CPHYSICS 2007»
15 years 7 months ago
GDF v2.0, an enhanced version of GDF
An improved version of the function estimation program GDF is presented. The main enhancements of the new version include: multi-output function estimation, capability of definin...
Ioannis G. Tsoulos, Dimitris Gavrilis, Evangelos D...
VLC
2008
88views more  VLC 2008»
15 years 7 months ago
Towards a specification of the ToonTalk language
ToonTalk is a child-oriented programming language whose environment is an animated virtual world, with objects that children can pick up and use as in a game, such as birds, truck...
Leonel Morgado, Ken Kahn
CORR
2011
Springer
162views Education» more  CORR 2011»
14 years 11 months ago
Re-thinking Enrolment in Identity Card Schemes
Many countries around the world have initiated national ID card programs in the last decade. These programs are considered of strategic value to governments due to its contributio...
Ali M. Al-Khouri
POPL
2012
ACM
14 years 2 months ago
Syntactic control of interference for separation logic
Separation Logic has witnessed tremendous success in recent years in reasoning about programs that deal with heap storage. Its success owes to the fundamental principle that one s...
Uday S. Reddy, John C. Reynolds