Sciweavers

1774 search results - page 255 / 355
» Modeling and implementing software architecture with acme an...
Sort
View
DAC
2000
ACM
15 years 11 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
15 years 11 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
77
Voted
MOBICOM
1998
ACM
15 years 2 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
91
Voted
CSCW
1996
ACM
15 years 2 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...
102
Voted
SIGGRAPH
1995
ACM
15 years 1 months 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