Sciweavers

5962 search results - page 655 / 1193
» Working with Patterns and Code
Sort
View
FMCO
2004
Springer
123views Formal Methods» more  FMCO 2004»
15 years 11 months ago
rCOS: Refinement of Component and Object Systems
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
Zhiming Liu, Jifeng He, Xiaoshan Li
DSOM
2006
Springer
15 years 11 months ago
Predictable Scaling Behaviour in the Data Centre with Multiple Application Servers
Load sharing in the data centre is an essential strategy for meeting service levels in high volume and high availability services. We investigate the accuracy with which simple, cl...
Mark Burgess, Gard Undheim
CASES
2001
ACM
15 years 11 months ago
Tailoring pipeline bypassing and functional unit mapping to application in clustered VLIW architectures
In this paper we describe a design exploration methodology for clustered VLIW architectures. The central idea of this work is a set of three techniques aimed at reducing the cost ...
Marcio Buss, Rodolfo Azevedo, Paulo Centoducatte, ...
SIGGRAPH
1995
ACM
15 years 10 months ago
Cellular texture generation
We proposean approachfor modeling surfacedetails such as scales, feathers, or thorns. These types of cellular textures require a representation with more detail than texture-mappi...
Kurt W. Fleischer, David H. Laidlaw, Bena L. Curri...
ICML
1991
IEEE
15 years 10 months ago
Simulating Stages of Human Cognitive Development With Connectionist Models
The psychological literature on stages of cognitive development was reviewed and found to contain support for the idea that stages represent ordinal, qualitative changes in organi...
Thomas R. Shultz