Compute!

Results: 1494



#Item
741Verifying the distributed real-time network protocol RTnet using Uppaal∗ Ferdy Hanssen, Angelika Mader, Pierre G. Jansen Distributed and Embedded Systems group Faculty of Electrical Engineering, Mathematics and Compute

Verifying the distributed real-time network protocol RTnet using Uppaal∗ Ferdy Hanssen, Angelika Mader, Pierre G. Jansen Distributed and Embedded Systems group Faculty of Electrical Engineering, Mathematics and Compute

Add to Reading List

Source URL: www.croky.net

Language: English - Date: 2007-12-12 06:03:22
742aiT for LEON2 aiT WCET Analyzers statically compute tight bounds for the worst-case execution time (WCET) of tasks in real-time systems. They directly analyze binary executables and take the intrinsic cache and pipeline

aiT for LEON2 aiT WCET Analyzers statically compute tight bounds for the worst-case execution time (WCET) of tasks in real-time systems. They directly analyze binary executables and take the intrinsic cache and pipeline

Add to Reading List

Source URL: www.absint.com

Language: English - Date: 2015-01-19 06:15:30
743aiT for HCS12 aiT WCET Analyzers statically compute tight bounds for the worst-case execution time (WCET) of tasks in real-time systems. They directly analyze binary executables and take the intrinsic cache and pipeline

aiT for HCS12 aiT WCET Analyzers statically compute tight bounds for the worst-case execution time (WCET) of tasks in real-time systems. They directly analyze binary executables and take the intrinsic cache and pipeline

Add to Reading List

Source URL: www.absint.com

Language: English - Date: 2015-01-19 06:15:30
744Excalibur: An Autonomic Cloud Architecture for Executing Parallel Applications

Excalibur: An Autonomic Cloud Architecture for Executing Parallel Applications

Add to Reading List

Source URL: www.cri.ensmp.fr

Language: English - Date: 2014-03-27 10:59:17
745Compilers / Real-time computing / Worst-case execution time / Programming language implementation / GNU Compiler Collection / C / Toolchain / 64-bit / Software / Computing / Computer programming

aiT for M68020 aiT WCET Analyzers statically compute tight bounds for the worst-case execution time (WCET) of tasks in real-time systems. They directly analyze binary executables and take the intrinsic cache and pipeline

Add to Reading List

Source URL: www.absint.com

Language: English - Date: 2015-01-19 06:15:30
746TimeControl Online Security Architecture For more information contact:

TimeControl Online Security Architecture For more information contact:

Add to Reading List

Source URL: www.timecontrol.com

Language: English - Date: 2015-02-07 01:09:08
747aiT for PPC750 aiT WCET Analyzers statically compute tight bounds for the worst-case execution time (WCET) of tasks in real-time systems. They directly analyze binary executables and take the intrinsic cache and pipeline

aiT for PPC750 aiT WCET Analyzers statically compute tight bounds for the worst-case execution time (WCET) of tasks in real-time systems. They directly analyze binary executables and take the intrinsic cache and pipeline

Add to Reading List

Source URL: www.absint.com

Language: English - Date: 2015-01-19 06:15:30
748Probabilistic shortest path tractography in DTI using Gaussian Process ODE solvers Michael Schober1 , Niklas Kasenburg1,2 , Aasa Feragen1,2 , Philipp Hennig1 , Søren Hauberg3 1

Probabilistic shortest path tractography in DTI using Gaussian Process ODE solvers Michael Schober1 , Niklas Kasenburg1,2 , Aasa Feragen1,2 , Philipp Hennig1 , Søren Hauberg3 1

Add to Reading List

Source URL: www2.compute.dtu.dk

Language: English - Date: 2014-09-14 12:13:53
749Abstract virtual technology background

Abstract virtual technology background

Add to Reading List

Source URL: www.colovore.com

Language: English - Date: 2014-11-14 14:23:38
750FAST GREEKS FOR MARKOV-FUNCTIONAL MODELS USING ADJOINT PDE METHODS NICK DENSON AND MARK JOSHI Abstract. This paper demonstrates how the adjoint PDE method can be used to compute Greeks in Markov-functional models. This i

FAST GREEKS FOR MARKOV-FUNCTIONAL MODELS USING ADJOINT PDE METHODS NICK DENSON AND MARK JOSHI Abstract. This paper demonstrates how the adjoint PDE method can be used to compute Greeks in Markov-functional models. This i

Add to Reading List

Source URL: fbe.unimelb.edu.au

Language: English - Date: 2013-08-05 02:21:40