Sciweavers

12459 search results - page 54 / 2492
» cans 2006
Sort
View
ISSRE
2006
IEEE
14 years 1 months ago
Testing During Refactoring: Adding Aspects to Legacy Systems
Moving program code that implements cross-cutting concerns into aspects can improve the maintainability of legacy systems. This kind of refactoring, called aspectualization, can a...
Michael Mortensen, Sudipto Ghosh, James M. Bieman
ISCI
1998
83views more  ISCI 1998»
13 years 7 months ago
On Generalization by Neural Networks
We report new results on the corner classification approach to training feedforward neural networks. It is shown that a prescriptive learning procedure where the weights are simp...
Subhash C. Kak
FAC
2006
104views more  FAC 2006»
13 years 7 months ago
Angelic nondeterminism in the unifying theories of programming
Hoare and He's unifying theories of programming (UTP) is a model of alphabetised relations expressed as predicates; it supports development in several programming paradigms. T...
Ana Cavalcanti, Jim Woodcock, Steve Dunne
LISP
2006
91views more  LISP 2006»
13 years 7 months ago
Polymorphic typed defunctionalization and concretization
Abstract. Defunctionalization is a program transformation that eliminates functions as first-class values. We show that defunctionalization can be viewed as a type-preserving trans...
François Pottier, Nadji Gauthier
IJON
2000
69views more  IJON 2000»
13 years 7 months ago
PARALLEL NEUROSYS: A system for the simulation of very large networks of biologically accurate neurons on parallel computers
We present a software package for the simulation of very large neuronal networks on parallel computers. The package can be run on any system with an implementation of the Message ...
Peter Pacheco, Marcelo Camperi, Toshi Uchino