Sciweavers

342 search results - page 3 / 69
» Reuse, Standardization, and Transformation of Requirements
Sort
View
WSC
2004
13 years 8 months ago
Visualizing Coercible Simulations
The labor intensive aspects of simulation development and maintenance make exploration of reuse essential. However, reuse is generally difficult to achieve in practice due to infl...
Joseph C. Carnahan, Paul F. Reynolds Jr., David C....
ITC
2000
IEEE
74views Hardware» more  ITC 2000»
13 years 11 months ago
A good excuse for reuse: "open" TAP controller design
In this paper we present a design for IEEE 1149.1 Test Access Port (TAP)controllers that is based on a practical reuse methodology. While the basic use and core functionality of T...
David B. Lavo
EWCBR
2008
Springer
13 years 9 months ago
Noticeably New: Case Reuse in Originality-Driven Tasks
"Similar problems have similar solutions" is a basic tenet of case-based inference. However this is not satisfied for CBR systems where the task is to achieve original so...
Belén Díaz-Agudo, Enric Plaza, Juan ...
ICLP
1997
Springer
13 years 11 months ago
A Practical Approach to Structure Reuse of Arrays in Single Assignment Languages
Array updates in single assignment languages generally require some copying of the array, and thus tend to be more expensive than in imperative languages. As a result, programs in...
Andreas Kågedal, Saumya K. Debray
LOPSTR
2009
Springer
14 years 1 months ago
A Transformational Approach for Proving Properties of the CHR Constraint Store
Proving termination of, or generating efficient control for Constraint Handling Rules (CHR) programs requires information about the kinds of constraints that can show up in the CHR...
Paolo Pilozzi, Tom Schrijvers, Maurice Bruynooghe