Sciweavers

7202 search results - page 964 / 1441
» Software System Engineering: A Tutorial
Sort
View
SSIRI
2010
15 years 6 months ago
A Formal Framework for Mutation Testing
— Model-based approaches, especially based on directed graphs (DG), are becoming popular for mutation testing as they enable definition of simple, nevertheless powerful, mutation...
Fevzi Belli, Mutlu Beyazit
CODES
2005
IEEE
16 years 1 months ago
CRAMES: compressed RAM for embedded systems
Memory is a scarce resource in many embedded systems. Increasing memory often increases packaging and cooling costs, size, and energy consumption. This paper presents CRAMES, an e...
Lei Yang, Robert P. Dick, Haris Lekatsas, Srimat T...
EUROSYS
2010
ACM
16 years 4 months ago
Dr. Multicast: Rx for Data Center Communication Scalability
Data centers avoid IP Multicast because of a series of problems with the technology. We propose Dr. Multicast (MCMD), a system that maps IPMC operations to a combination of point-...
Ymir Vigfusson, Hussam Abu-Libdeh, Mahesh Balakris...
ARCS
2009
Springer
16 years 2 months ago
Evaluating CMPs and Their Memory Architecture
Abstract. Many-core processor architectures require scalable solutions that reflect the locality and power constraints of future generations of technology. This paper presents a CM...
Chris R. Jesshope, Mike Lankamp, Li Zhang
DOLAP
2009
ACM
16 years 2 months ago
A comprehensive approach to data warehouse testing
Testing is an essential part of the design life-cycle of any software product. Nevertheless, while most phases of data warehouse design have received considerable attention in the...
Matteo Golfarelli, Stefano Rizzi