Sciweavers

3273 search results - page 107 / 655
» types 2007
Sort
View
DATE
2007
IEEE
105views Hardware» more  DATE 2007»
16 years 1 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
16 years 1 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»
16 years 1 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
16 years 28 days 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 10 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