Sciweavers

2573 search results - page 305 / 515
» Combinations of Modal Logics
Sort
View
MSE
2002
IEEE
122views Hardware» more  MSE 2002»
15 years 11 months ago
Modeling and Analyzing SMIL Documents in SAM
A composite multimedia object has specific timing relationships among the different types of component media. Coordinating the real-time presentation of information and maintaini...
Huiqun Yu, Xudong He, Shu Gao, Yi Deng
ATS
1998
IEEE
113views Hardware» more  ATS 1998»
15 years 11 months ago
Testing and Diagnosis of Interconnect Structures in FPGAs
Since Field programmable gate arrays (FPGAs) are reprogrammable, faults in them can be easily toleruted once fault sites are located. Previous researches on diagnosis of FPGAs mai...
Sying-Jyan Wang, Chao-Neng Huang
FCCM
1997
IEEE
129views VLSI» more  FCCM 1997»
15 years 10 months ago
The Chimaera reconfigurable functional unit
By strictly separating reconfigurable logic from their host processor, current custom computing systems suffer from a significant communication bottleneck. In this paper we descri...
Scott Hauck, Thomas W. Fry, Matthew M. Hosler, Jef...
ARVLSI
1995
IEEE
124views VLSI» more  ARVLSI 1995»
15 years 10 months ago
An evaluation of bipartitioning techniques
Logic partitioning is an important issue in VLSI CAD, and has been an area of active research for at least the last 25 years. Numerous approaches have been developed and many diff...
Scott Hauck, Gaetano Borriello
DALT
2007
Springer
15 years 8 months ago
Structured Argumentation in a Mediator for Online Dispute Resolution
Online dispute resolution is becoming the main method when dealing with a conflict in e-commerce. A family of defeasible reasoning patterns is used to provide a useful link betwee...
Ioan Alfred Letia, Adrian Groza