1539 search results - page 203 / 308 » Is it time for real-time functional programming |
378
click to vote
JTRES
2010
ACM
15 years 4 months ago
2010
ACM
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
118
click to vote
APSEC
2005
IEEE
15 years 9 months ago
2005
IEEE
Embedded control programs are hard to analyse because their behaviour depends on how they interact with hardware devices. In particular, embedded code typically uses interrupts to...
108
Voted
AINA
2006
IEEE
15 years 7 months ago
2006
IEEE
HMMer is a widely used tool for protein sequence homology detection, as well as functional annotation of homologous protein sequences, and protein family classification. The HMMer...
153
click to vote
IOR
2008
15 years 4 months ago
2008
The stochastic knapsack has been used as a model in wide ranging applications from dynamic resource allocation to admission control in telecommunication. In recent years, a variat...
114
click to vote
AICCSA
2006
IEEE
15 years 10 months ago
2006
IEEE
The problem of optimally deploying a heterogeneous set of sensing devices in environments with differential surveillance requirements is presented. The problem is formulated in th...