Sciweavers

3088 search results - page 470 / 618
» A Teleradiology System Design Case
Sort
View
FM
1999
Springer
107views Formal Methods» more  FM 1999»
15 years 10 months ago
A Formalization of Software Architecture
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
John Herbert, Bruno Dutertre, Robert A. Riemenschn...
GLVLSI
1998
IEEE
122views VLSI» more  GLVLSI 1998»
15 years 10 months ago
Reducing Power Consumption of Dedicated Processors Through Instruction Set Encoding
With the increased clock frequency of modern, high-performance processors over 500 MHz, in some cases, limiting the power dissipation has become the most stringent design target. ...
Luca Benini, Giovanni De Micheli, Alberto Macii, E...
SIGMOD
1997
ACM
100views Database» more  SIGMOD 1997»
15 years 10 months ago
MDM: a Multiple-Data-Model Tool for the Management of Heterogeneous Database Schemes
MDM is a tool that enables the users to de ne schemes of di erent data models and to perform translations of schemes from one model to another. These functionalities can be at the...
Paolo Atzeni, Riccardo Torlone
ESCIENCE
2007
IEEE
15 years 10 months ago
SOAs for Scientific Applications: Experiences and Challenges
Over the past several years, with the advent of the Open Grid Services Architecture (OGSA) [10] and the Web Services Resource Framework (WSRF) [14], Service-Oriented Architectures...
Sriram Krishnan, Karan Bhatia
HIPC
2007
Springer
15 years 10 months ago
Accomplishing Approximate FCFS Fairness Without Queues
First Come First Served (FCFS) is a policy that is accepted for implementing fairness in a number of application domains such as scheduling in Operating Systems, scheduling web req...
K. Subramani, Kamesh Madduri