Sciweavers

1460 search results - page 272 / 292
» Process Mining Framework for Software Processes
Sort
View
LCPC
2005
Springer
14 years 1 months ago
Revisiting Graph Coloring Register Allocation: A Study of the Chaitin-Briggs and Callahan-Koblenz Algorithms
Techniques for global register allocation via graph coloring have been extensively studied and widely implemented in compiler frameworks. This paper examines a particular variant ā...
Keith D. Cooper, Anshuman Dasgupta, Jason Eckhardt
LCPC
2005
Springer
14 years 1 months ago
A Language for the Compact Representation of Multiple Program Versions
Abstract. As processor complexity increases compilers tend to deliver suboptimal performance. Library generators such as ATLAS, FFTW and SPIRAL overcome this issue by empirically s...
Sébastien Donadio, James C. Brodman, Thomas...
SAC
2004
ACM
14 years 1 months ago
Missing requirements and relationship discovery through proxy viewpoints model
This paper addresses the problem of ā€œmissing requirementsā€ in software requirements speciļ¬cation (SRS) expressed in natural language. Due to rapid changes in technology and b...
Seok Won Lee, David C. Rine
ARCS
2004
Springer
14 years 1 months ago
Latent Semantic Indexing in Peer-to-Peer Networks
Searching in decentralized peer-to-peer networks is a challenging problem. In common applications such as Gnutella, searching is performed by randomly forwarding queries to all pee...
Xuezheng Liu, Ming Chen, Guangwen Yang
SBIA
2004
Springer
14 years 1 months ago
Reasoning About Requirements Evolution Using Clustered Belief Revision
During the development of system requirements, software system speciļ¬cations are often inconsistent. Inconsistencies may arise for diļ¬€erent reasons, for example, when multiple...
Odinaldo Rodrigues, Artur S. d'Avila Garcez, Aless...