Sciweavers

4738 search results - page 354 / 948
» Past, Present, and Future
Sort
View
DATE
2003
IEEE
86views Hardware» more  DATE 2003»
16 years 4 days ago
A Top-Down Microsystems Design Methodology and Associated Challenges
An overview of microsystems technology is presented along with a discussion of the recent trends and challenges associated with its development. A typical bottom-up design methodo...
Michael S. McCorquodale, Fadi H. Gebara, Keith L. ...
ISQED
2003
IEEE
86views Hardware» more  ISQED 2003»
16 years 4 days ago
Electrical and Thermal Analysis for System-in-a-Package (SiP) Implementation Platform
This paper presents an electrical and thermal performance analysis of System-in-a-Package (SiP) memory/logic implementation platform based on ChipLaminate-Chip (CLC) technology. I...
Michael X. Wang, Katsuharu Suzuki, Wayne Wei-Ming ...
MSS
2003
IEEE
81views Hardware» more  MSS 2003»
16 years 3 days ago
SPIRAL: A Client-Transparent Third-Party Transfer Scheme for Network Attached Disks
Third-party transfer is a data transfer mechanism where the party initiating the transfer is neither the source nor the sink for the data. In this paper, we present a scheme for s...
Xiaonan Ma, A. L. Narasimha Reddy
ACISP
2003
Springer
16 years 2 days ago
A Taxonomy of Single Sign-On Systems
Abstract. At present, network users have to manage one set of authentication credentials (usually a username/password pair) for every service with which they are registered. Single...
Andreas Pashalidis, Chris J. Mitchell
ASIAN
2003
Springer
102views Algorithms» more  ASIAN 2003»
16 years 2 days ago
Generating Optimal Linear Temporal Logic Monitors by Coinduction
Abstract. A coinduction-based technique to generate an optimal monitor from a Linear Temporal Logic (LTL) formula is presented in this paper. Such a monitor receives a sequence of ...
Koushik Sen, Grigore Rosu, Gul Agha