2205 search results - page 48 / 441 » Mutation Operators for Specifications |
CIKM
2003
Springer
14 years 1 months ago
2003
Springer
Prior research into search system scalability has primarily addressed query processing efficiency [1, 2, 3] or indexing efficiency [3], or has presented some arbitrary system arch...
USENIX
1994
13 years 9 months ago
1994
The NetWare operating system is designed specifically to provide service to clients over a computer network. This design has resulted in a system that differs in several respects ...
ISEMANTICS
2010
13 years 6 months ago
2010
Reference models play an important role in the knowledge management of the various complex collaboration domains (such as Supply Chain Networks). However, they often show a lack o...
JLP
2006
13 years 7 months ago
2006
This paper describes in detail how to bridge the gap between theory and practice when implementing in Maude structural operational semantics described in rewriting logic, where tr...
IPPS
1999
IEEE
14 years 3 days ago
1999
IEEE
We study how several collective operations like broadcast, reduction, scan, etc. can be composed efficiently in complex parallel programs. Our specific contributions are: (1) a fo...