Sciweavers

4482 search results - page 69 / 897
» The Crowdsourcing Design Space
Sort
View
TCAD
2008
82views more  TCAD 2008»
13 years 7 months ago
A Compositional Method With Failure-Preserving Abstraction for Asynchronous Design Verification
ion for Asynchronous Design Verification Hao Zheng, Member, IEEE, Jared Ahrens, Tian Xia, Member, IEEE This paper presents a compositional method with preserving abstraction for sc...
Hao Zheng, Jared Ahrens, Tian Xia
ENTCS
2008
95views more  ENTCS 2008»
13 years 7 months ago
A Formal Framework for Interactive Agents
This paper proposes a formal framework and architecture for specification and analysis of interactive agents. The framework can be used to explore the design space, study features...
Carolyn L. Talcott
ASPDAC
1995
ACM
79views Hardware» more  ASPDAC 1995»
13 years 11 months ago
Search space reduction in high level synthesis by use of an initial circuit
Most existing high-level synthesis(HLS) systems attempt to generate a circuit from a behavioral description \out of the void", using the entire design space as the search dom...
Atsushi Masuda, Hiroshi Imai, Jeffery P. Hansen, M...
VIS
2007
IEEE
60views Visualization» more  VIS 2007»
14 years 9 months ago
Navigating in a Shape Space of Registered Models
New product development involves people with different backgrounds. Designers, engineers, and consumers all have different design criteria, and these criteria interact. Early conce...
Randall C. Smith, Richard Pawlicki, István Kók...
INTETAIN
2005
Springer
14 years 1 months ago
Adding Playful Interaction to Public Spaces
Public spaces are interactive by the very fact that they are designed to be looked at, walked around, and used by multitudes of people on a daily basis. Architects design such spac...
Amnon Dekel, Yitzhak Simon, Hila Dar, Ezri Tarazi,...