Sciweavers

7580 search results - page 37 / 1516
» Prometheus design tool
Sort
View
114
Voted
DAC
2005
ACM
16 years 4 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...
91
Voted
CHI
2007
ACM
16 years 3 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 10 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 10 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
143
Voted
AVI
2010
15 years 3 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...