Sciweavers

9059 search results - page 78 / 1812
» The design of eco-feedback technology
Sort
View
CHI
1998
ACM
14 years 1 months ago
Student Readers' Use of Library Documents: Implications for Library Technologies
We report on a study of graduate students conducting research in libraries, focusing on how they extract and record information as they read. By examining their information record...
Kenton O'Hara, Fiona Smith, William M. Newman, Abi...
DAC
1993
ACM
14 years 1 months ago
On Area/Depth Trade-off in LUT-Based FPGA Technology Mapping
In this paper we study the area and depth trade-off in LUT based FPGA technology mapping. Starting from a depth-optimal mapping solution, we perform a number of depth relaxation o...
Jason Cong, Yuzheng Ding
APN
2003
Springer
14 years 18 days ago
The Petri Net Markup Language: Concepts, Technology, and Tools
The Petri Net Markup Language (PNML) is an XML-based interchange format for Petri nets. In order to support different versions of Petri nets and, in particular, future versions of ...
Jonathan Billington, Søren Christensen, Kee...
IFIP
2000
Springer
14 years 16 days ago
Component Technology for High-Performance Scientific Simulation Software
We are developing scientific software component technology to manage the complexity of modern, parallel simulation software and increase the interoperability and re-use of scientif...
Thomas Epperly, Scott R. Kohn, Gary Kumfert
GAMEON
2007
13 years 10 months ago
Gaming Technology in Cultural Heritage Systems
This paper describes the design and implementation of an interactive walk-through of a reconstructed German stronghold, the Dillenburg. The application is currently in use at the ...
Tim Horz, Albert Pritzkau, Christof Rezk-Salama, S...