Sciweavers

2786 search results - page 374 / 558
» A Practical Technique for Process Abstraction
Sort
View
ICCAD
1996
IEEE
77views Hardware» more  ICCAD 1996»
15 years 10 months ago
Power optimization in disk-based real-time application specific systems
While numerous power optimization techniques have been at all levels of design process abstractions for electronic components, until now, power minimization in mixed mechanical-el...
Inki Hong, Miodrag Potkonjak
EUROMICRO
2004
IEEE
15 years 10 months ago
Model-Driven Development of Recursive CORBA Component Assemblies
Software applications can be described as compositions are components at an abstract level. In this paper we present a component modeling process which allows to design, model and...
Gernot Schmoelzer, Egon Teiniker, Stefan Mitterdor...
FMCAD
2008
Springer
15 years 8 months ago
Invariant-Strengthened Elimination of Dependent State Elements
Abstract-- This work presents a technology-independent synthesis optimization that is effective in reducing the total number of state elements of a design. It works by identifying ...
Michael L. Case, Alan Mishchenko, Robert K. Brayto...
CSAC
2006
15 years 8 months ago
Toward a Pi-Calculus Based Verification Tool for Web Services Orchestrations
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
Faisal Abouzaid
ECIS
2001
15 years 8 months ago
The Articulation of Shared Meaning in Information Systems Development
This paper presents a case study showing how Repertory Grid Analysis (RGA) can be used to construct shared meaning during information systems development, implementation and use. ...
Christopher J. Davis