×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [sequential programs]
Formal Versus Agile: Survival of the Fittest? (Paul Boca)
4.125 views
Concurrency
1.499 views
Model Checking Lecture 1. Outline 1 Specifications: logic vs. automata, linear vs. branching, safety vs. liveness 2 Graph algorithms for model checking
217 views
The Raw All Purpose Unit (APU) based on a Tiled-Processor Architecture A Logical Successor to the CPU, GPU and NPU? Anant Agarwal MIT
215 views
Beyond Auto-Parallelization: Compilers for Many-Core Systems Marcelo Cintra University of Edinburgh
216 views
Testing Concurrent Programs to Achieve High Synchronization Coverage
436 views
Алексей Туля - А нужен ли вам erlang?
376 views
Elias Zerrouq: Dependency Injection and Magento 2
284 views
11/30
154 views
Contract Training An ACEware Webinar. Contract Training Topics Why is Contract Training different? Course Setup Registering Participants Billing Budgets
217 views
Part 3: Safety and liveness. Safety vs. liveness Safety: something “bad” will never happen Liveness: something “good” will happen (but we don’t know when)
255 views
Software Transactional Memory Should Not Be Obstruction Free Robert Ennals Intel Research Cambridge 15 JJ Thomson Avenue, Cambridge, CB3 0FD, UK
[email protected]
214 views
Next >