Sciweavers

2205 search results - page 76 / 441
» Mutation Operators for Specifications
Sort
View
AOSD
2007
ACM
14 years 1 months ago
Interrupt synchronization in the CiAO operating system: experiences from implementing low-level system policies by AOP
Configurability is a major issue in the domain of embedded system software. Existing systems specifically lack good techniques to implement configurability of architectural OS con...
Daniel Lohmann, Jochen Streicher, Olaf Spinczyk, W...
IPPS
1995
IEEE
14 years 20 days ago
Operating system support for concurrent remote task creation
This paper describes improvements to the Mach microkernel’s support for efficient application startup across multiple nodes in a cluster or massively parallel processor. Signifi...
Dejan S. Milojicic, David L. Black, Steven J. Sear...
WSC
2007
13 years 11 months ago
A simulation model to improve warehouse operations
Warehouse or distribution centre managers have to decide how to collect the products to fulfill customers requests but also where to locate the products (SKUs) and how much space ...
Jean Philippe Gagliardi, Jacques Renaud, Angel Rui...
ICDE
2006
IEEE
193views Database» more  ICDE 2006»
14 years 10 months ago
On Pushing Multilingual Query Operators into Relational Engines
To effectively support today's global economy, database systems need to manage data in multiple languages simultaneously. While current database systems do support the storag...
A. Kumaran, Pavan K. Chowdary, Jayant R. Haritsa
GIS
2006
ACM
14 years 10 months ago
Query optimizer for spatial join operations
This paper presents a query optimizer module based on cost estimation that chooses the best filtering step algorithm to perform a specific spatial join operation. A set of express...
Cirano Iochpe, João Luiz Dihl Comba, Miguel...