1901 search results - page 228 / 381 » Predicting Program Properties from |
126
click to vote
EMSOFT
2009
Springer
15 years 9 months ago
2009
Springer
The major obstacle to use multicores for real-time applications is that we may not predict and provide any guarantee on real-time properties of embedded software on such platforms...
122
click to vote
ASWEC
2004
IEEE
15 years 7 months ago
2004
IEEE
Behavioural theory predicts that interventions that improving individual reviewers' expertise improves Software Development Technical Review group performance [3, p 6]. This ...
NAR
1998
15 years 2 months ago
1998
The Yeast Protein Database (YPD) is a curated database for the proteome of Saccharomyces cerevisiae. It consists of ∼6000 Yeast Protein Reports, one for each of the known or pre...
233
click to vote
POPL
2008
ACM
16 years 3 months ago
2008
ACM
A lens is a bidirectional program. When read from left to right, it denotes an ordinary function that maps inputs to outputs. When read from right to left, it denotes an "upd...
128
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
There are several public key establishment protocols as well as complete public key cryptosystems based on allegedly hard problems from combinatorial (semi)group theory known by no...