Sciweavers

1260 search results - page 57 / 252
» From Domain Models to Architecture Frameworks
Sort
View
RSP
2003
IEEE
132views Control Systems» more  RSP 2003»
15 years 5 months ago
Rapid Exploration of Pipelined Processors through Automatic Generation of Synthesizable RTL Models
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. ...
Prabhat Mishra, Arun Kejariwal, Nikil Dutt
ECOOPW
2000
Springer
15 years 4 months ago
Metadata and Adaptive Object-Models
Abstract. The unrelenting pace of change that confronts contemporary software developers compels them to make their applications more configurable, flexible, and adaptable. A way t...
Joseph W. Yoder, Reza Razavi
WOA
2000
15 years 1 months ago
Towards Interoperable Mechanized Reasoning Systems: the Logic Broker Architecture
There is a growing interest in the integration of mechanized reasoning systems such as automated theorem provers, computer algebra systems, and model checkers. State-of-the-art re...
Alessandro Armando, Daniele Zini
PERCOM
2007
ACM
15 years 11 months ago
Managing an Integrated Ubicomp Environment Using Ontologies and Reasoning
One issue hindering the deployment of integrated ubicomp environments is the lack of a shared model for applications to utilize resources across administrative and network domains...
Michael Blackstock, Rodger Lea, Charles Krasic
ICSE
2003
IEEE-ACM
15 years 12 months ago
Pattern-Oriented Distributed System Architectures
ion. riented language features, such as abstract classes, inheritance, dynamic binding, and parameterized types. Middleware, such as object-oriented frameworks for host infrastruct...
Douglas C. Schmidt