2036 search results - page 21 / 408 » A generic type-and-effect system |
CHI
1995
ACM
15 years 4 months ago
1995
ACM
Multimodal interactive systems support multiple interaction techniques such as the synergistic use of speech and direct manipulation. The flexibility they offer results in an incr...
72
Voted
USENIX
2001
15 years 1 months ago
2001
Applications running on a UNIX platform need to be notified when some activity occurs on a socket or other descriptor, and this is traditionally done with the select() or poll() s...
101
click to vote
OSDI
2000
ACM
15 years 1 months ago
2000
ACM
: We explore the abstraction of failure transparency in which the operating system provides the illusion of failure-free operation. To provide failure transparency, an operating sy...
134
click to vote
FCCM
2009
IEEE
14 years 10 months ago
2009
IEEE
Adaptive systems are set to become more mainstream, as numerous practical applications in the communications domain emerge. FPGAs offer an ideal implementation platform, combining...
ICFEM
2009
Springer
15 years 7 months ago
2009
Springer
It is believed that reusability in formal development should reduce the time and cost of formal modelling within a production environment. Along with the ability to reuse formal mo...