Sciweavers

5830 search results - page 175 / 1166
» Automatic link generation
Sort
View
EMSOFT
2008
Springer
15 years 6 months ago
Volatiles are miscompiled, and what to do about it
C's volatile qualifier is intended to provide a reliable link between operations at the source-code level and operations at the memorysystem level. We tested thirteen product...
Eric Eide, John Regehr
ATS
1998
IEEE
106views Hardware» more  ATS 1998»
15 years 9 months ago
A Test Pattern Generation Algorithm Exploiting Behavioral Information
This paper aims at broadening the scope of hierarchical ATPG to the behavioral-level The main problem of using behavioral information for ATPG is the mismatch of timing models bet...
Silvia Chiusano, Fulvio Corno, Paolo Prinetto
AMAI
2006
Springer
15 years 5 months ago
Functional and multivalued dependencies in nested databases generated by record and list constructor
tor. In order to capture different data models at a time, an abstract algebraic approach based on nested attributes is taken. The presence of the list constructor calls for a new i...
Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe
ICALT
2005
IEEE
15 years 10 months ago
The Design for a Collaborative System of English as Foreign Language Composition Writing of Senior High School Students in Taiwa
The authors will propose system integrated mechanisms, a Wiki platform for peer-reviewing, Link Grammar for automatically checking the students’ papers, and a RSS reader to peri...
Yi-Fan Chang, Diane L. Schallert
158
Voted
INFOCOM
2005
IEEE
15 years 10 months ago
Designing wireless radio access networks for third generation cellular networks
— In third generation (3G) cellular networks, base stations are connected to base station controllers by pointto-point (usually T1/E1) links. However, today’s T1/E1 based backh...
Tian Bu, Mun Choon Chan, Ramachandran Ramjee