3130 search results - page 28 / 626 » Design Correctness of Digital Systems |
CIE
2006
Springer
13 years 11 months ago
2006
Springer
We describe two representations for real numbers, signed digit streams and Cauchy sequences. We give coinductive proofs for the correctness of functions converting between these tw...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Due to the flexibility and adaptability of human, manual handling work is still very important in industry, especially for assembly and maintenance work. Well-designed work operat...
BCSHCI
2009
13 years 8 months ago
2009
Hybrid surfaces are interactive systems combining techniques of direct-manipulation multi-touch surface interaction with elements of tangible user interfaces (TUIs). The design sp...
DAGSTUHL
2007
13 years 9 months ago
2007
Abstract. Two ways to exploit chips with a very large number of transistors are multicore processors and programmable logic chips. Some data parallel algorithms can be executed eï¬...
DSD
2011
IEEE
12 years 7 months ago
2011
IEEE
—With the opening up of white spaces, efficient use of the fragmented spectrum - TV white space in particular - has become an extremely important focus of research. Apart from ef...