Sciweavers

2844 search results - page 121 / 569
» A Comparison of Partitioning Operating Systems for Integrate...
Sort
View
ICCAD
1995
IEEE
97views Hardware» more  ICCAD 1995»
15 years 8 months ago
Interface co-synthesis techniques for embedded systems
A key aspect of the synthesis of embedded systems is the automatic integration of system components. This entails the derivation of both the hardware and software interfaces that ...
Pai H. Chou, Ross B. Ortega, Gaetano Borriello
TDSC
2011
14 years 11 months ago
Application-Level Diagnostic and Membership Protocols for Generic Time-Triggered Systems
Abstract— We present on-line tunable diagnostic and membership protocols for generic time-triggered (TT) systems to detect crashes, send/receive omission faults and network parti...
Marco Serafini, Péter Bokor, Neeraj Suri, J...
DATE
2008
IEEE
103views Hardware» more  DATE 2008»
15 years 11 months ago
A Mutation Model for the SystemC TLM 2.0 Communication Interfaces
Mutation analysis is a widely-adopted strategy in software testing with two main purposes: measuring the quality of test suites, and identifying redundant code in programs. Simila...
Nicola Bombieri, Franco Fummi, Graziano Pravadelli
117
Voted
ICDT
1999
ACM
97views Database» more  ICDT 1999»
15 years 9 months ago
Optimizing Large Join Queries in Mediation Systems
In data integration systems, queries posed to a mediator need to be translated into a sequence of queries to the underlying data sources. In a heterogeneous environment, with sour...
Ramana Yerneni, Chen Li, Jeffrey D. Ullman, Hector...
ICDE
2008
IEEE
149views Database» more  ICDE 2008»
16 years 6 months ago
Orchid: Integrating Schema Mapping and ETL
This paper describes Orchid, a system that converts declarative mapping specifications into data flow specifications s) and vice versa. Orchid provides an abstract operator model t...
Stefan Dessloch, Mauricio A. Hernández, Rya...