Sciweavers

938 search results - page 42 / 188
» Coreference-inspired Coherence Modeling
Sort
View
ISCA
2007
IEEE
126views Hardware» more  ISCA 2007»
15 years 8 months ago
Comparing memory systems for chip multiprocessors
There are two basic models for the on-chip memory in CMP systems: hardware-managed coherent caches and software-managed streaming memory. This paper performs a direct comparison o...
Jacob Leverich, Hideho Arakida, Alex Solomatnikov,...
IANDC
2006
78views more  IANDC 2006»
15 years 1 months ago
A stable programming language
It is well-known that stable models (as dI-domains, qualitative domains and coherence are not fully abstract for the language PCF. This fact is related to the existence of stable ...
Luca Paolini
FORTE
2008
15 years 3 months ago
Protocol Modeling with Model Program Composition
Designing and interoperability testing of distributed, application-level network protocols is complex. Windows, for example, supports currently more than 200 protocols, ranging fro...
Margus Veanes, Wolfram Schulte
ATAL
2005
Springer
15 years 7 months ago
A negotiation model for autonomous agents: key features and comparison with existing models
This paper presents the key features of a new negotiation model for autonomous agents. The model is generic, handles multi-party and multi-issue negotiation, acknowledges the role...
Fernando Lopes, Augusto Q. Novais, Nuno J. Mamede,...
ICDE
2006
IEEE
167views Database» more  ICDE 2006»
16 years 3 months ago
Mining Shifting-and-Scaling Co-Regulation Patterns on Gene Expression Profiles
In this paper, we propose a new model for coherent clustering of gene expression data called reg-cluster. The proposed model allows (1) the expression profiles of genes in a clust...
Xin Xu, Ying Lu, Anthony K. H. Tung, Wei Wang 0010