Uploads Contact
/
Login Upload

  • Search Results for 'Runtime Checking'

Conformance Checking using Cost-Based Fitness Analysis
Conformance Checking using Cost-Based Fitness Analysis
trish-goza
ASP.NET Today and Tomorrow
ASP.NET Today and Tomorrow
briana-ranney
Eon A Language and Runtime System for Perpetual Systems Jacob Sorber Alexander Kostadinov
Eon A Language and Runtime System for Perpetual Systems Jacob Sorber Alexander Kostadinov
test
Rapid arameterized Model Checking of Snoopy Cache Coher ence Pr otocols E
Rapid arameterized Model Checking of Snoopy Cache Coher ence Pr otocols E
lois-ondreau
Talk Outline
Talk Outline
kittie-lecroy
SIPPING TEST: CHECKING FOR FAILURE OF FUELELEMENTS AT THE OPAL REACTOR
SIPPING TEST: CHECKING FOR FAILURE OF FUELELEMENTS AT THE OPAL REACTOR
mitsue-stanley
First International Workshop on Rackscale Computing WRSC The Case for the Holistic Language
First International Workshop on Rackscale Computing WRSC The Case for the Holistic Language
luanne-stotts
Theobjectiveofthepaperistoshowtheimportanceoftheinterleavingofthestora
Theobjectiveofthepaperistoshowtheimportanceoftheinterleavingofthestora
stefany-barnette
Tuning a Runtime for Both Productivity and Performance
Tuning a Runtime for Both Productivity and Performance
jane-oiler
Andrew Pardoe (
Andrew Pardoe (
alexa-scheidler
Visual Studio 11 und .NET 4.5
Visual Studio 11 und .NET 4.5
yoshiko-marsland
CoreDet A Compiler and Runtime System for Deterministic Multithreaded Execution Tom Bergan
CoreDet A Compiler and Runtime System for Deterministic Multithreaded Execution Tom Bergan
cheryl-pisano
Hypothesis Testing: Checking Assum
Hypothesis Testing: Checking Assum
danika-pritchard
1 Introduction 2 Overseas electors Checking an application Renewal of
1 Introduction 2 Overseas electors Checking an application Renewal of
danika-pritchard
Runtime System and Scheduling Support
Runtime System and Scheduling Support
cheryl-pisano
Efficient Runtime Policy Enforcement Using Counterexample-G
Efficient Runtime Policy Enforcement Using Counterexample-G
alexa-scheidler
Shuvendu
Shuvendu
mitsue-stanley
Tempest Manual AddendumOS Version 1.4Tempest OS version 1.4 adds a num
Tempest Manual AddendumOS Version 1.4Tempest OS version 1.4 adds a num
celsa-spraggs
Optimization: Drawables Budget
Optimization: Drawables Budget
luanne-stotts
Fluidic Kernels: Cooperative Execution of
Fluidic Kernels: Cooperative Execution of
pasty-toler
Entity
Entity
celsa-spraggs
UPI: A Primary Index for Uncertain Databases
UPI: A Primary Index for Uncertain Databases
natalia-silvester
Your doctor wants to collect some of the sputum (“phlegm”) t
Your doctor wants to collect some of the sputum (“phlegm”) t
celsa-spraggs
Invited Paper NeuFlow A Runtime Recongurable Dataow Processor for Vision Cl ement Farabet
Invited Paper NeuFlow A Runtime Recongurable Dataow Processor for Vision Cl ement Farabet
marina-yarberry