422 search results - page 37 / 85 » Automatic generation of error control codes for computer app... |
HYBRID
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...
DSN
2006
IEEE
14 years 21 days ago
2006
IEEE
Cyclic redundancy codes (CRCs) are widely used in network transmission and data storage applications because they provide better error detection than lighter weight checksum techn...
SIGPRO
2002
13 years 8 months ago
2002
With the advancement of computer graphics in the recent years, an increasing number of pictures, video and 3D content is generated by synthesis processing rather than acquired wit...
EDO
2005
Springer
14 years 2 months ago
2005
Springer
re connector is an abstraction capturing interactions among components. Apart from middleware independence, connectors provide additional services (e.g., adaptation, synchronizati...
ICIDS
2009
Springer
14 years 3 months ago
2009
Springer
We report on the progress we have achieved in development of Emohawk, a 3D virtual reality application with an emergent narrative for teaching high-school students and undergraduat...