Sciweavers

3872 search results - page 476 / 775
» The Java memory model
Sort
View
ESANN
2007
15 years 7 months ago
Three-dimensional self-organizing dynamical systems for discrete structures memorizing and retrieval
The synthesis concept for dynamical system with the memory of multiple states defined with the quaternion algebra usage is considered. The system memorizes numerous configurations ...
Alexander Yudashkin
IJAR
2008
95views more  IJAR 2008»
15 years 6 months ago
Rule reduction for efficient inferencing in similarity based reasoning
The two most important models of inferencing in approximate reasoning with fuzzy sets are Zadeh's Compositional Rule of Inference (CRI) and Similarity Based Reasoning (SBR). ...
Balasubramaniam Jayaram
PPL
2008
117views more  PPL 2008»
15 years 6 months ago
Operating Systems in silicon and the Dynamic Management of Resources in Many-Core Chips
This discussion paper explores the problems of operating systems support when implementing concurrency controls at the level of the instruction set in processors designed for mult...
Chris R. Jesshope
SMA
2008
ACM
135views Solid Modeling» more  SMA 2008»
15 years 6 months ago
Isosurface extraction and interpretation on very large datasets in geophysics
In order to deal with the heavy trend in size increase of volumetric datasets, research in isosurface extraction has focused in the past few years on related aspects such as surfa...
Guilhem Dupuy, Bruno Jobard, Sebastien Guillon, No...
ISSTA
2006
ACM
16 years 10 days ago
Application of automated environment generation to commercial software
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
Oksana Tkachuk, Sreeranga P. Rajan