172 search results - page 31 / 35 » A classification of design steps and their verification |
150
click to vote
POPL
2007
ACM
15 years 10 months ago
2007
ACM
Concurrent ML (CML) is a statically-typed higher-order concurrent language that is embedded in Standard ML. Its most notable feature is its support for first-class synchronous ope...
TVLSI
2008
14 years 9 months ago
2008
Applications in computer networks often require high throughput access to large data structures for lookup and classification. While advanced algorithms exist to speed these search...
CHI
2009
ACM
15 years 10 months ago
2009
ACM
Nathalie Colineau, CSIRO ? ICT Centre Locked Bag 17 North Ryde, NSW 1670 Australia nathalie.colineau@csiro.au C?cile Paris CSIRO ? ICT Centre Locked Bag 17 North Ryde, NSW 1670 Aus...
CHI
2008
ACM
15 years 10 months ago
2008
ACM
We present an empirical analysis of crossing-based dialog boxes. First, we study the spatial constraints required for efficient crossing-based interactions in the case of a simple...
74
Voted
CHI
2005
ACM
15 years 10 months ago
2005
ACM
To some extent listening to digital music via storage devices has led to a loss of part of the physical experience associated with earlier media formats such as CDs and LPs. For e...