Sciweavers

1565 search results - page 89 / 313
» Teaching
Sort
View
TFM
2004
Springer
130views Formal Methods» more  TFM 2004»
15 years 10 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 9 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 9 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...