Sciweavers

1565 search results - page 89 / 313
» Teaching
Sort
View
TFM
2004
Springer
130views Formal Methods» more  TFM 2004»
15 years 11 months ago
Advertising Formal Methods and Organizing Their Teaching: Yes, but ...
This position paper aims to address most of the “challenges” suggested by the conference’s CFP plus a few others. The style is deliberately informal and colloquial, occasiona...
Dino Mandrioli
XSYM
2004
Springer
88views Database» more  XSYM 2004»
15 years 11 months ago
Teaching Relational Optimizers About XML Processing
Due to their numerous benefits, relational systems play a major role in storing XML documents. XML also benefits relational systems by providing a means to publish legacy relatio...
Sihem Amer-Yahia, Yannis Kotidis, Divesh Srivastav...
MSE
2003
IEEE
102views Hardware» more  MSE 2003»
15 years 11 months ago
Teaching Trade-offs in System-level Design Methodologies
This paper summarizes two graduate-level class projects in EE201A/EE298 (VLSI Architectures and Design Methods) at the University of California, Los Angeles (UCLA). The purpose of...
Kazuo Sakiyama, Patrick Schaumont, David Hwang, In...