Sciweavers

1963 search results - page 25 / 393
» How is aliasing used in systems software
Sort
View
FMOODS
2007
13 years 10 months ago
Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking
The success of distributed event-based infrastructures such as SIENA and Elvin is partially due to their ease of use. Even novice users of these infrastructures not versed in distr...
L. Ruhai Cai, Jeremy S. Bradbury, Jürgen Ding...
EPIA
2007
Springer
14 years 3 months ago
Using Ontologies for Software Development Knowledge Reuse
Abstract. As software systems become bigger and more complex, software developers need to cope with a growing amount of information and knowledge. The knowledge generated during th...
Bruno Antunes, Nuno Seco, Paulo Gomes
ICSE
1999
IEEE-ACM
14 years 1 months ago
WinWin: A System for Negotiating Requirements
T WinWin is a system that aids in the capture and recording of system requirements. It also assists in negotiation. The WinWin system has been available for several years and is be...
Ellis Horowitz, Joo H. Lee, June Sup Lee
EUROMICRO
2004
IEEE
14 years 22 days ago
A Framework for Interactive Visualization of Component-Based Software
In this paper, we advocate the use of visual tooling for the development and maintenance of component-based software systems. Our contribution is twofold. First, we demonstrate ho...
Alexandru Telea, Lucian Voinea
CC
2010
Springer
117views System Software» more  CC 2010»
14 years 3 months ago
Punctual Coalescing
Compilers use register coalescing to avoid generating code for copy instructions. For architectures with register aliasing such as x86, Smith, Ramsey, and Holloway (2004) presented...
Fernando Magno Quintão Pereira, Jens Palsbe...