Sciweavers

3394 search results - page 417 / 679
» Design patterns for semaphores
Sort
View
ISNN
2005
Springer
16 years 5 days ago
A Novel Solid Neuron-Network Chip Based on Both Biological and Artificial Neural Network Theories
Built on the theories of biological neural network, artificial neural network methods have shown many significant advantages. However, the memory space in an artificial neural chip...
Zihong Liu, Zhihua Wang, Guolin Li, Zhiping Yu
OOPSLA
2005
Springer
16 years 5 days ago
Roles of variables in object-oriented programming
Roles can be assigned to occurrences of variables in programs according to a small number of stereotypical patterns of use. Studies on explicitly teaching roles to novices learnin...
Pauli Byckling, Petri Gerdt, Jorma Sajaniemi
OOPSLA
2005
Springer
16 years 5 days ago
Language constructs for improving reusability in object-oriented software
The objective of this research project is to improve the reusability of object-oriented software. We have introduced anchored exception declarations to allow checked exceptions to...
Marko van Dooren, Eric Steegmans
SEKE
2005
Springer
16 years 4 days ago
A State-Based Approach to Testing Aspect-Oriented Programs
This paper presents a state-based approach to testing aspect-oriented programs. Aspectual state models, as an extension to the testable FREE state model of classes, are exploited ...
Dianxiang Xu, Weifeng Xu, Kendall E. Nygard
TGC
2005
Springer
16 years 4 days ago
A Practical Formal Model for Safety Analysis in Capability-Based Systems
Abstract. We present a formal system that models programmable abstractions for access control. Composite abstractions and patterns of arbitrary complexity are modeled as a configu...
Fred Spiessens, Peter Van Roy