Sciweavers

20573 search results - page 241 / 4115
» The Computer's New Clothes
Sort
View
DSD
2003
IEEE
107views Hardware» more  DSD 2003»
15 years 12 months ago
DYNORA: A New Caching Technique
Cache design for high performance computing requires the realization of two seemingly disjoint goals of higher hit ratios at reduced access times. Recent research advocates the us...
P. Srivatsan, P. B. Sudarshan, P. P. Bhaskaran
LICS
2003
IEEE
15 years 12 months ago
Micro-Macro Stack Systems: A New Frontier of Elementary Decidability for Sequential Systems
We define the class of micro-macro stack graphs, a new class of graphs modeling infinite-state sequential systems with a decidable model-checking problem. Micro-macro stack grap...
Nir Piterman, Moshe Y. Vardi
ERSHOV
2003
Springer
15 years 12 months ago
ProgDOC - A New Program Documentation System
Though programming languages and programming styles evolve with remarkable speed today, there is no such evolution in the field of program documentation. And although there exist ...
Volker Simonis, Roland Weiss
FIDJI
2003
Springer
15 years 12 months ago
Distributed Composite Objects: A New Object Model for Cooperative Applications
This paper introduces a new programming model for distributed systems, distributed composite objects (DCO), to meet efficient implementation, transparency, and performance demands ...
Guray Yilmaz, Nadia Erdogan
ISCIS
2003
Springer
15 years 12 months ago
Comparison of New Simple Weighting Functions for Web Documents against Existing Methods
Abstract. Term weighting is one of the most important aspects of modern Web retrieval systems. The weight associated with a given term in a document shows the importance of the ter...
Byurhan Hyusein, Ahmed Patel, Ferad Zyulkyarov