JYVÄSKYLÄ STUDIES IN COMPUTING 40 Marjo Haarala Large-Scale Nonsmooth Optimization Variable Metric Bundle Method with Limited Memory

Source URL: napsu.karmitsa.fi

Strengthening Induction-Based Race Checking with Lightweight Static Analysis ? Alastair F. Donaldson, Leopold Haller, and Daniel Kroening Oxford University Computing Laboratory, Oxford, UK Abstract. Direct Memory Access

Source URL: www.doc.ic.ac.uk

Precise Automatable Analytical Modeling of the Cache Behavior of Codes with Indirections ´ DOALLO DIEGO ANDRADE, BASILIO B. FRAGUELA, and RAMON Universidade da Coruna

Source URL: www.des.udc.es

• Software engineering
• Computer programming
• Computing
• Compiler optimizations
• Cache
• Computer memory
• Locality of reference
• Software optimization
• Optimizing compiler
• For loop
• Infinite loop
• Ada

Windows SMB 3.0 Performance at 40Gbps RDMA vs. NIC Throughput, IOPS and CPU Utilization Executive Summary A notable feature of Windows Server 2012 R2 is the release of SMB 3.0 with SMB Direct (SMB over RDMA), which seaml

Source URL: www.chelsio.com

• Computing
• Computer networks
• Supercomputers
• Computer memory
• IWARP
• Remote direct memory access
• Windows Server
• InfiniBand
• IOPS
• Storage area network
• Chelsio Communications

Aaron Turon Research Statement My research lies broadly in the areas of programming languages and verification, with the goal of building reliable software systems. I am drawn to software components that are usually cha

Source URL: www.mpi-sws.org

• Computing
• Concurrency control
• Software
• Software transactional memory
• Non-blocking algorithm
• Lock
• Parallel computing
• Concurrency
• Concurrent data structure
• Separation logic
• Thread
• Concurrent computing

Chapter 9 Virtual Memory Processes in a system share the CPU and main memory with other processes. However, sharing the main memory poses some special challenges. As demand on the CPU increases, processes slow down in s

Source URL: csapp.cs.cmu.edu

• Computing
• Virtual memory
• Computer memory
• Memory management
• Computer hardware
• Computer architecture
• Central processing unit
• Page table
• Memory management unit
• Thrashing
• Paging
• Address space

Performance Evaluation of a Mixed Vehicular Network with CAM-DCC and LIMERIC Vehicles Bin Cheng∗ , Ali Rostami∗ , Marco Gruteser∗ John B. Kenney† Gaurav Bansal† and Katrin Sjoberg‡ ∗ Winlab, Rutgers Univer

Source URL: www.winlab.rutgers.edu

• Computing
• Network performance
• Computer memory
• Computer networking
• Content-addressable memory
• Interpacket gap
• Throughput
• Cam
• Transmission Control Protocol
• Direct Client-to-Client

BCC: Reducing False Aborts in Optimistic Concurrency Control with Low Cost for In-Memory Databases Yuan Yuan1 , Kaibo Wang1 , Rubao Lee1 , Xiaoning Ding2 , Jing Xing3 , Spyros Blanas1 , Xiaodong Zhang1 1 The

Source URL: web.cse.ohio-state.edu

• Computing
• Transaction processing
• Data management
• Concurrency control
• Data
• Databases
• Serializability
• Schedule
• Snapshot isolation
• Two-phase locking
• Isolation
• Extensible Storage Engine

FCCM 2011 Call for Papers The 19th Annual International IEEE Symposium on Field-Programmable Custom Computing Machines Salt Lake City, UT May 1-3, 2011

Source URL: fccm.org

• Computing
• Parallel computing
• Reconfigurable computing
• Engineering
• Electrical engineering
• Field-programmable gate array
• Reconfigurability
• Multi-core processor
• Computing with Memory
• Self-reconfiguring modular robot

DATASHEET - TARGET DA14583 Low Power Bluetooth Smart SoC with Flash memory General description

Source URL: www.dialog-semiconductor.com

• Computing
• Microcontrollers
• Computer architecture
• Classes of computers
• Serial Peripheral Interface Bus
• Universal asynchronous receiver/transmitter
• Bluetooth
• Banana Pi
• TI MSP430