5269 search results - page 826 / 1054 » Operating system resource management |
203
click to vote
SNPD
2008
15 years 8 months ago
2008
: Software for safety-critical systems has to deal with the hazards identified by safety analysis in order to make the system safe, risk-free and fail-safe. Software safety is a co...
273
click to vote
ICDE
2009
IEEE
16 years 8 months ago
2009
IEEE
We introduce a framework for reordering join pipelines at runtime in a database system. This framework incorporates novel techniques for simulating the execution of a join pipeline...
162
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
Physical Unclonable Functions (PUFs) are innovative circuit primitives that extract secrets from physical characteristics of integrated circuits (ICs). We present PUF designs that...
140
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Most RDF query languages allow for graph structure search through a conjunction of triples which is typically processed using join operations. A key factor in optimizing joins is ...
177
click to vote
CMSB
2009
Springer
16 years 1 months ago
2009
Springer
Bio-PEPA is a process algebra for modelling biological systems. An important aspect of Bio-PEPA is the ability it provides to discretise concentrations resulting in a smaller, more...