15777 search results - page 3019 / 3156 » Engineering in Software |
124
Voted
HICSS
1994
IEEE
15 years 7 months ago
1994
IEEE
Shared memory architectures often have caches to reduce the number of slow remote memory accesses. The largest possible caches exist in shared memory architectures called Cache-On...
140
Voted
SIGIR
2010
ACM
15 years 7 months ago
2010
ACM
Ranking search results is a fundamental problem in information retrieval. In this paper we explore whether the use of proximity and phrase information can improve web retrieval ac...
159
Voted
ER
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...
112
Voted
HT
2007
ACM
15 years 7 months ago
2007
ACM
This paper presents a framework and system to evaluate the accessibility of web pages according to the individual requirements of users with disabilities. These requirements not o...
156
Voted
ICCAD
2007
IEEE
15 years 7 months ago
2007
IEEE
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...