Sciweavers

7580 search results - page 37 / 1516
» Prometheus design tool
Sort
View
106
Voted
DAC
2005
ACM
16 years 3 months ago
IODINE: a tool to automatically infer dynamic invariants for hardware designs
We describe IODINE, a tool to automatically extract likely design properties using dynamic analysis. A practical bottleneck in the formal verification of hardware designs is the n...
Sudheendra Hangal, Naveen Chandra, Sridhar Narayan...
CHI
2007
ACM
16 years 2 months ago
I/O plant: a tool kit for designing augmented human-plant interactions
In this paper, we introduce the versatile creative tool called "I/O Plant" which generates new-style interactions among humans, plants and computers. It enables designer...
Satoshi Kuribayashi, Yusuke Sakamoto, Hiroya Tanak...
TEI
2009
ACM
115views Hardware» more  TEI 2009»
15 years 9 months ago
Fritzing: a tool for advancing electronic prototyping for designers
Today a growing community of DIY-practitioners, artists and designers are using microcontroller-based toolkits to express their concepts for digital artifacts by building them. Ho...
André Knörig, Reto Wettach, Jonathan C...
DATE
2009
IEEE
139views Hardware» more  DATE 2009»
15 years 9 months ago
Cross-architectural design space exploration tool for reconfigurable processors
—Processors that deploy fine-grained reconfigurable fabrics to implement application-specific accelerators ondemand obtained significant attention within the last decade. They tr...
Lars Bauer, Muhammad Shafique, Jörg Henkel
135
Voted
AVI
2010
15 years 2 months ago
Designing a cross-channel information management tool for workers in enterprise task forces
This paper presents a research project on the design of a cross-channel information management tool for knowledge workers: we focus on IT services professionals in a large enterpr...
Gregorio Convertino, Sanjay Kairam, Lichan Hong, B...