Sciweavers

278 search results - page 46 / 56
» Simulation and Implementation of the PTIDES Programming Mode...
Sort
View
CONTEXT
2007
Springer
15 years 5 months ago
Textual Inference Logic: Take Two
This note describes a logical system based on concepts and contexts, whose aim is to serve as a representation language for meanings of natural language sentences. The logic is a t...
Valeria de Paiva, Daniel G. Bobrow, Cleo Condoravd...
WECWIS
2000
IEEE
94views ECommerce» more  WECWIS 2000»
15 years 4 months ago
E-Representative: A Scalability Scheme for E-Commerce
In order to meet the quality of service demanded by a growing number of online customers, e-commerce services need to use scalability techniques. This paper introduces the concept...
Wagner Meira Jr., Daniel A. Menascé, Virgil...
108
Voted
FMSP
2000
ACM
152views Formal Methods» more  FMSP 2000»
15 years 4 months ago
Fault origin adjudication
When a program P fails to satisfy a requirement R supposedly ensured by a detailed speci cation S that was used to implement P, there is a question about whether the problem arise...
Karthikeyan Bhargavan, Carl A. Gunter, Davor Obrad...
CCGRID
2010
IEEE
15 years 22 days ago
Region-Based Prefetch Techniques for Software Distributed Shared Memory Systems
Although shared memory programming models show good programmability compared to message passing programming models, their implementation by page-based software distributed shared m...
Jie Cai, Peter E. Strazdins, Alistair P. Rendell
ICCD
2006
IEEE
115views Hardware» more  ICCD 2006»
15 years 8 months ago
Microarchitecture and Performance Analysis of Godson-2 SMT Processor
—This paper introduces the microarchitecture and logical implementation of SMT (Simultaneous Multithreading) improvement of Godson-2 processor which is a 64-bit, four-issue, out-...
Zusong Li, Xianchao Xu, Weiwu Hu, Zhimin Tang