10284 search results - page 336 / 2057 » Designing for nomadic work |
178
click to vote
WETICE
2000
IEEE
15 years 10 months ago
2000
IEEE
We discuss a vision of and work in progress on a collaborative engineering environment, the Collaborative Design Studio, being developed at the Geometric and Intelligent Computing...
158
click to vote
FDL
2005
IEEE
16 years 7 days ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
160
click to vote
ACMDIS
2000
ACM
15 years 11 months ago
2000
ACM
In this paper we describe techniques used to move from a wide variety of speculative concepts to three working prototypes of potentially commercial audiophotography products. Stag...
255
click to vote
ISPD
2012
ACM
14 years 2 months ago
2012
ACM
Gate sizing in VLSI design is a widely-used method for power or area recovery subject to timing constraints. Several previous works have proposed gate sizing heuristics for power ...
171
click to vote
CSCW
2008
ACM
15 years 8 months ago
2008
ACM
In this paper we outline a typology, which will be useful for those engaged in the design and customization of information systems in healthcare. Drawing on ethnographic case stud...