Sciweavers

3273 search results - page 107 / 655
» types 2007
Sort
View
DATE
2007
IEEE
105views Hardware» more  DATE 2007»
15 years 10 months ago
Scratchpad memories vs locked caches in hard real-time systems: a quantitative comparison
We propose in this paper an algorithm for off-line selection of the contents of on-chip memories. The algorithm supports two types of on-chip memories, namely locked caches and sc...
Isabelle Puaut, Christophe Pais
FBIT
2007
IEEE
15 years 10 months ago
Classification of Cell Membrane Proteins
Membrane proteins are an important class of proteins that serve as channels, receptors, and energy transducers in a cell membrane. Knowledge of a given type of cell membrane prote...
Seyed Koosha Golmohammadi, Lukasz A. Kurgan, Brend...
ICDM
2007
IEEE
105views Data Mining» more  ICDM 2007»
15 years 10 months ago
Fast Mining of Complex Spatial Co-location Patterns Using GLIMIT
Most algorithms for mining interesting spatial colocations integrate the co-location / clique generation task with the interesting pattern mining task, and are usually based on th...
Florian Verhein, Ghazi Al-Naymat
TLCA
2007
Springer
15 years 10 months ago
Higher-Order Logic Programming Languages with Constraints: A Semantics
A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church’s Theory of Types and a generic constraint formalism. Our syntactic...
James Lipton, Susana Nieva
GLOBECOM
2007
IEEE
15 years 8 months ago
Analytical Models for Multi-RED Queues Serving as Droppers in DiffServ Networks
The paper proposes analytical models of two types of Multi-RED queues, WRED and RIO-C, serving as droppers in DiffServ networks. Both are scrutinized under two types of configurati...
Rafal Stankiewicz, Andrzej Jajszczyk