Sciweavers

2663 search results - page 263 / 533
» The Design, Implementation, and Evaluation of Jade
Sort
View
IWPC
2002
IEEE
15 years 11 months ago
Where's the Schema? A Taxonomy of Patterns for Software Exchange
Program comprehension tools extract, organize and analyze information about the design and implementation of software systems. Before tools can exchange information, they must sha...
Dean Jin, James R. Cordy, Thomas R. Dean
170
Voted
ISMVL
2010
IEEE
174views Hardware» more  ISMVL 2010»
15 years 11 months ago
Quaternary Voltage-Mode Logic Cells and Fixed-Point Multiplication Circuits
—Fixed-point multiplication architectures are designed and evaluated using a set of logic cells based on a radix-4, quaternary number system. The library of logic circuits is bas...
Satyendra R. Datla, Mitchell A. Thornton
FM
2001
Springer
96views Formal Methods» more  FM 2001»
15 years 11 months ago
Houdini, an Annotation Assistant for ESC/Java
A static program checker that performs modular checking can check one program module for errors without needing to analyze the entire program. Modular checking requires that each m...
Cormac Flanagan, K. Rustan M. Leino
UM
2001
Springer
15 years 11 months ago
Personalizing Delivered Information in a Software Reuse Environment
Browsing- and querying-oriented schemes have long served as the principal techniques for software developers to locate software components from a component repository for reuse. Un...
Gerhard Fischer, Yunwen Ye
COOPIS
2000
IEEE
15 years 11 months ago
Exploring the Semantic Structure of Technical Document Collections: A Cooperative Systems Approach
The identification and analysis of the knowledge available in document form is a key element of corporate knowledge management. In engineering-intensive organizations, it involves...
Andreas Becks, Stefan Sklorz, Matthias Jarke