15885 search results - page 3086 / 3177 » The Modest Software Engineer |
GECCO
2008
Springer
13 years 10 months ago
2008
Springer
Liveness properties in concurrent systems are, informally, those properties that stipulate that something good eventually happens during execution. In order to prove that a given ...
SIGCOMM
2010
ACM
13 years 9 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...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) seque...
AEI
2006
13 years 9 months ago
2006
The worldwide population of elderly people is growing rapidly and in the coming decades the proportion of older people in the developed countries will change significantly. This d...
BMCBI
2006
13 years 9 months ago
2006
Background: Direct synthesis of genes is rapidly becoming the most efficient way to make functional genetic constructs and enables applications such as codon optimization, RNAi re...