Sciweavers

1774 search results - page 255 / 355
» Modeling and implementing software architecture with acme an...
Sort
View
DAC
2000
ACM
14 years 10 months ago
Performance analysis and optimization of latency insensitive systems
Latency insensitive design has been recently proposed in literature as a way to design complex digital systems, whose functional behavior is robust with respect to arbitrary varia...
Luca P. Carloni, Alberto L. Sangiovanni-Vincentell...
DAC
2002
ACM
14 years 10 months ago
A comparison of three verification techniques: directed testing, pseudo-random testing and property checking
This paper describes the verification of two versions of a bridge between two on-chip buses. The verification was performed just as the Infineon Technologies Design Centre in Bris...
Mike Bartley, Darren Galpin, Tim Blackmore
MOBICOM
1998
ACM
14 years 1 months ago
Towards a Design Methodology for Adaptive Applications
ibe an abstract architecture of adaptive applications, and indicate where we believe crucial design decisions must We illustrate the use of the abstract model in the design and im...
Malcolm McIlhagga, Ann Light, Ian Wakeman
CSCW
1996
ACM
14 years 1 months ago
An Integrating, Transformation-Oriented Approach to Concurrency Control and Undo in Group Editors
Concurrency control and group undo are important issues in the design of groupware, especially for interactive group editors. We present an improved versionofanexistingdistributed...
Matthias Ressel, Doris Nitsche-Ruhland, Rul Gunzen...
SIGGRAPH
1995
ACM
14 years 18 days ago
Multi-level direction of autonomous creatures for real-time virtual environments
There have been several recent efforts to build behavior-based autonomous creatures. While competent autonomous action is highly desirable, there is an important need to integrate...
Bruce Blumberg, Tinsley A. Galyean