3879 search results - page 204 / 776 » PyPBS design and methodologies |
152
click to vote
ACMDIS
2006
ACM
15 years 11 months ago
2006
ACM
Human-computer interaction research often includes a significant design component. In cases where software or other tools are developed and described, but no empirical evaluation ...
163
click to vote
IWSOC
2003
IEEE
15 years 10 months ago
2003
IEEE
CAD tools support is essential in the success of today digital system design methodologies. Unfortunately, most of the classical design tools do not take into account the possibil...
142
Voted
CSCW
2000
ACM
15 years 4 months ago
2000
ACM
This paper asks the question: how might CSCW system design obtain and be informed by an adequate real-world, real-time understanding of work and organisation on any occasion of wor...
132
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
Property checking is a promising approach to prove the correctness of today’s complex designs. However, in practice this requires the formulation of formal properties which is a...
125
click to vote
ITC
2003
IEEE
15 years 10 months ago
2003
IEEE
The long term impact of MEMS technology will be in its ability to integrate novel sensing and actuation functionality on traditional computing and communication devices enabling t...