2205 search results - page 373 / 441 » Mutation Operators for Specifications |
MOBISYS
2004
ACM
14 years 9 months ago
2004
ACM
In this paper, we consider the problem of file synchronization when a mobile host shares files with a backbone file server in a network file system. Several diff schemes have been...
MOBIHOC
2005
ACM
14 years 9 months ago
2005
ACM
Wireless networks are built upon a shared medium that makes it easy for adversaries to launch jamming-style attacks. These attacks can be easily accomplished by an adversary emitt...
SC
2009
ACM
14 years 5 months ago
2009
ACM
In this paper, we present an early performance evaluation of a 624-core cluster based on the Intel® Xeon® Processor 5560 (code named “Nehalem-EP”, and referred to as Xeon 55...
IISWC
2009
IEEE
14 years 4 months ago
2009
IEEE
— Programming to exploit the resources in a multicore system remains a major obstacle for both computer and software engineers. Transactional memory offers an attractive alternat...
DOCENG
2009
ACM
14 years 4 months ago
2009
ACM
In this paper, we extend previous work on the automatic structuring of medical documents using content analysis. Our long-term objective is to take advantage of specific rhetoric ...