3130 search results - page 74 / 626 » Design Correctness of Digital Systems |
159
click to vote
HICSS
2007
IEEE
15 years 12 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...
134
click to vote
CDC
2010
IEEE
15 years 3 days 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...
150
Voted
CHI
2004
ACM
16 years 6 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...
154
click to vote
DAC
2002
ACM
16 years 6 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...
124
click to vote
MICRO
2008
IEEE
16 years 12 hour 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...