580 search results - page 15 / 116 » Dependable domestic systems design: A socio-technical approa... |
MIR
2010
ACM
13 years 7 months ago
2010
ACM
Ideally, one would like to perform image search using an intuitive and friendly approach. Many existing image search engines, however, present users with sets of images arranged i...
CODES
1999
IEEE
13 years 12 months ago
1999
IEEE
We present a case study on the design of a heterogeneous architecture for MPEG-2 video decoding. The primary objective of the case study is the validation of the SPADE methodology...
BIOCOMP
2006
13 years 9 months ago
2006
act Nowadays people are strongly dependent on cars for doing their tasks, but they usually are not aware of hazards which are awaiting them. For instance, since people travel with ...
POPL
2010
ACM
14 years 5 months ago
2010
ACM
The definition of type equivalence is one of the most important design issues for any typed language. In dependentlytyped languages, because terms appear in types, this definition...
ESOP
2005
Springer
14 years 1 months ago
2005
Springer
The notion of control dependence underlies many program analysis and transformation techniques used in numerous applications. Despite wide application, existing definitions and ap...