3130 search results - page 74 / 626 » Design Correctness of Digital Systems |
133
click to vote
HICSS
2007
IEEE
15 years 9 months ago
2007
IEEE
A qualitative study was conducted to explore how subjects use social networking sites and instant messenger to engage in interpersonal relationships. The results were used to deve...
117
Voted
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
Motivated by current technological advances in the design of real-time embedded systems, this work deals with the digital control of a continuous-time linear time-invariant (LTI) s...
123
Voted
CHI
2004
ACM
16 years 3 months ago
2004
ACM
Digital inking systems are becoming increasingly popular across a variety of domains. In particular, many systems now allow instructors to write on digital surfaces in the classro...
126
Voted
DAC
2002
ACM
16 years 4 months ago
2002
ACM
The ForSyDe methodology has been developed for system level design. In this paper we present formal transformation methods for the refinement of an abstract and formal system mode...
100
click to vote
MICRO
2008
IEEE
15 years 9 months ago
2008
IEEE
Optimizing the common case has been an adage in decades of processor design practices. However, as the system complexity and optimization techniques’ sophistication have increas...