Sciweavers

1774 search results - page 53 / 355
» Modeling and implementing software architecture with acme an...
Sort
View
SIGSOFT
2008
ACM
15 years 10 months ago
Alchemy: transmuting base alloy specifications into implementations
Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent...
Shriram Krishnamurthi, Kathi Fisler, Daniel J. Dou...
ECLIPSE
2007
ACM
15 years 1 months ago
An Eclipse-based tool framework for software model management
Software development involves the use of many models and Eclipse provides an ideal infrastructure for building tools to support the use of models. While there is a large selection...
Rick Salay, Marsha Chechik, Steve M. Easterbrook, ...
FPGA
2006
ACM
100views FPGA» more  FPGA 2006»
15 years 1 months ago
A generic lookup cache architecture for network processing applications
Abstract-- In this paper, we introduce a novel architecture for constructing caches for lookup operations that are used in a variety of network processing applications. The disting...
Janardhan Singaraju, John A. Chandy
WWW
2001
ACM
15 years 10 months ago
The design and implementation of the redland RDF application framework
Resource Description Framework (RDF) is a general description technology that can be applied to many application domains. Redland is a software library for RDF which implements a ...
Dave J. Beckett
CASES
2006
ACM
15 years 3 months ago
Automatic performance model construction for the fast software exploration of new hardware designs
Developing an optimizing compiler for a newly proposed architecture is extremely difficult when there is only a simulator of the machine available. Designing such a compiler requ...
John Cavazos, Christophe Dubach, Felix V. Agakov, ...