Sciweavers

1010 search results - page 41 / 202
» Designing Then and Now
Sort
View
73
Voted
DAC
1994
ACM
15 years 3 months ago
HSIS: A BDD-Based Environment for Formal Verification
Functional and timing verification are currently the bottlenecks in many design efforts. Simulation and emulation are extensively used for verification. Formal verification is now...
Adnan Aziz, Felice Balarin, Szu-Tsung Cheng, Ramin...
3DIM
2003
IEEE
15 years 4 months ago
Scanning and Processing 3D Objects for Web Display
We present a case study of scanning 3D objects for the purposes of education and public information. We begin by describing the original design of a 3D scanning system now in use ...
Mohamed Farouk, Ibrahim El-Rifai, Shady El-Tayar, ...
COBUILD
1998
Springer
15 years 3 months ago
The Dwelling as a Place for Work
This paper will discuss the future use of the dwelling as a place for cooperative work. It is our opinion that the development of the communication technologies and the architectur...
Stefan Junestrand, Konrad Tollmar
ICCAD
1996
IEEE
77views Hardware» more  ICCAD 1996»
15 years 3 months ago
Power optimization in disk-based real-time application specific systems
While numerous power optimization techniques have been at all levels of design process abstractions for electronic components, until now, power minimization in mixed mechanical-el...
Inki Hong, Miodrag Potkonjak
86
Voted
FTDB
2007
95views more  FTDB 2007»
14 years 11 months ago
Architecture of a Database System
Database Management Systems (DBMSs) are a ubiquitous and critical component of modern computing, and the result of decades of research and development in both academia and industr...
Joseph M. Hellerstein, Michael Stonebraker, James ...