Sciweavers

2969 search results - page 129 / 594
» The Case for User-Centered CASE Tools
Sort
View
WRLA
2010
15 years 4 months ago
A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories
For a rewrite theory to be executable, its equations E should be (ground) confluent and terminating modulo the given axioms A, and their rules should be (ground) coherent with E m...
Francisco Durán, José Meseguer
AND
2009
15 years 4 months ago
Tools for monitoring, visualizing, and refining collections of noisy documents
Developing better systems for document image analysis requires understanding errors, their sources, and their effects. The interactions between various processing steps are comple...
Daniel P. Lopresti, George Nagy
ERSA
2009
185views Hardware» more  ERSA 2009»
15 years 4 months ago
Woolcano: An Architecture And Tool Flow For Dynamic Instruction Set Extension On Xilinx Virtex-4 FX
In this paper, we introduce the Woolcano reconfigurable processor architecture. The architecture is based on the Xilinx Virtex-4 FX FPGA and leverages the Auxiliary Processing Uni...
Mariusz Grad, Christian Plessl
WWW
2008
ACM
16 years 7 months ago
Action science approach to nonprofit housing services using web 2.0 mapping tools
The study follows action science approach to the problem of nonprofit housing services. After 4 months of action sciencebased activities, such as organized participant observation...
Yao-Jen Chang, Hsin-Yu Hsu, Tsen-Yung Wang
VLSID
2005
IEEE
167views VLSI» more  VLSID 2005»
16 years 6 months ago
A Methodology and Tooling Enabling Application Specific Processor Design
This paper presents a highly efficient processor design methodology based on the LISA 2.0 language. Typically the architecture design phase is dominated by an iterative processor ...
Andreas Hoffmann, Frank Fiedler, Achim Nohl, Suren...