Sciweavers

9626 search results - page 232 / 1926
» Invariant Based Programming
Sort
View
JOT
2007
121views more  JOT 2007»
15 years 6 months ago
Aspect Oriented Programming in .NET. Based on Attributes
Aspect Oriented Programming proposes an approach to increase code functionality with aspects that are not part of the main code functionality. The current work shows how can be do...
Miguel Katrib Mora, Yamil Hernández Sa&aacu...
IJON
2002
123views more  IJON 2002»
15 years 6 months ago
N-bit parity neural networks: new solutions based on linear programming
In this paper, the N-bit parity problem is solved with a neural network that allows direct connections between the input layer and the output layer. The activation function used i...
Derong Liu, Myron E. Hohil, Stanley H. Smith
SPIN
2010
Springer
15 years 4 months ago
An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models
This paper addresses the problem of verifying programs for the relaxed memory models implemented in modern processors. Specifically, it considers the TSO (Total Store Order) relax...
Alexander Linden, Pierre Wolper
ICASSP
2011
IEEE
14 years 10 months ago
Global convergence of independent component analysis based on semidefinite programming relaxation
In the independent component analysis, polynomial functions of higher order statistics are often used as cost functions. However, such cost functions usually have many local minim...
Shotaro Akaho, Jun Fujiki
VISSOFT
2002
IEEE
15 years 11 months ago
Metrics-Based 3D Visualization of Large Object-Oriented Programs
In this paper a new approach for a metrics based software visualization is presented which supports an efficient and effective quality assessment of large object-oriented software...
Claus Lewerentz, Frank Simon