279 search results - page 28 / 56 » Abstraction and refinement techniques in automated design de... |
HUC
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. While the user-centered design methods we bring from humancomputer interaction to ubicomp help sketch ideas and refine prototypes, few tools or techniques help explore di...
ESCIENCE
2007
IEEE
14 years 2 months ago
2007
IEEE
As scientific workflows and the data they operate on, grow in size and complexity, the task of defining how those workflows should execute (which resources to use, where the resou...
TCAD
2010
13 years 3 months ago
2010
Abstract--Functional verification is one of the major bottlenecks in system-on-chip design due to the combined effects of increasing complexity and lack of automated techniques for...
GPCE
2007
Springer
14 years 2 months ago
2007
Springer
Embedded systems can be viewed as scaled-down versions of their one counterparts. In many cases, the software abstractions and libraries for embedded systems can be derived from l...
PUC
2010
13 years 6 months ago
2010
Abstract Location awareness can help facilitate a rendezvous of two or more persons. To further enhance the rendezvous experience, we conducted two complementary field studies to ...