2501 search results - page 409 / 501 » Logics with Rank Operators |
138
click to vote
OSDI
2004
ACM
16 years 4 months ago
2004
ACM
We present a new technique, failure-oblivious computing, that enables servers to execute through memory errors without memory corruption. Our safe compiler for C inserts checks th...
155
click to vote
ICFP
2003
ACM
16 years 4 months ago
2003
ACM
FreshML extends ML with elegant and practical constructs for declaring and manipulating syntactical data involving statically scoped binding operations. User-declared FreshML data...
127
click to vote
DFG
2007
Springer
15 years 10 months ago
2007
Springer
: To better understand how developmental regulatory networks are defined in the genome sequence, the Berkeley Drosophila Transcription Network Project (BDNTP) has developed a suit...
102
click to vote
SPAA
2004
ACM
15 years 9 months ago
2004
ACM
A key capability of data-race detectors is to determine whether one thread executes logically in parallel with another or whether the threads must operate in series. This paper pr...
162
click to vote
EMSOFT
2004
Springer
15 years 9 months ago
2004
Springer
Data flow process networks are a good model of computation for streaming multimedia applications incorporating audio, video and/or graphics streams. Process networks are concurre...