295 search results - page 28 / 59 » Games and Definability for System F |
100
click to vote
IPPS
2002
IEEE
15 years 4 months ago
2002
IEEE
Systemic pathways-oriented approaches to analysis of metabolic networks are effective for small networks but are computationally infeasible for genome scale networks. Current comp...
EMSOFT
2006
Springer
15 years 3 months ago
2006
Springer
Synchronous data-flow languages such as Scade/Lustre manage infinite sequences, or streams, as primitive values making them naturally adapted to the description of datadominated s...
CRITIS
2007
15 years 1 months ago
2007
Much of the world's critical infrastructure is at risk from attack through electronic networks connected to control systems. Security metrics are important because they provid...
119
click to vote
EGICE
2006
15 years 3 months ago
2006
System identification is an abductive task which is affected by several kinds of modeling assumptions and measurement errors. Therefore, instead of optimizing values of parameters ...
HIPEAC
2010
Springer
15 years 1 months ago
2010
Springer
We present Offload, a programming model for offloading parts of a C++ application to run on accelerator cores in a heterogeneous multicore system. Code to be offloaded is enclosed ...