536 search results - page 59 / 108 » A computer verified, monadic, functional implementation of t... |
160
click to vote
BIRTHDAY
2008
Springer
15 years 8 months ago
2008
Springer
Embedded systems are electronic devices that function in the context of a physical environment, by sensing and reacting to a set of stimuli. To simplify the design of embedded syst...
146
click to vote
CONCUR
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We present a new method for proving liveness and termination properties for fair concurrent programs, which does not rely on finding a ranking function or on computing th...
155
click to vote
SIGCOMM
2010
ACM
15 years 6 months ago
2010
ACM
We present SwitchBlade, a platform for rapidly deploying custom protocols on programmable hardware. SwitchBlade uses a pipeline-based design that allows individual hardware module...
113
click to vote
CHI
2003
ACM
15 years 11 months ago
2003
ACM
This paper introduces new interactive ways to create, manipulate and analyze shapes, even when those shapes do not have simple algebraic generators. This is made possible by using...
268
click to vote
VLDB
2007
ACM
16 years 6 months ago
2007
ACM
Two central criteria for data quality are consistency and accuracy. Inconsistencies and errors in a database often emerge as violations of integrity constraints. Given a dirty dat...