Sciweavers

17298 search results - page 3166 / 3460
» Abstract computing machines
Sort
View
JLP
2007
95views more  JLP 2007»
15 years 4 months ago
Model checking a cache coherence protocol of a Java DSM implementation
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. It aims to implement Java’s memory model and allows multithreaded Java progr...
Jun Pang, Wan Fokkink, Rutger F. H. Hofman, Ronald...
TSMC
2008
119views more  TSMC 2008»
15 years 4 months ago
An Efficient Binary-Decision-Diagram-Based Approach for Network Reliability and Sensitivity Analysis
Abstract--Reliability and sensitivity analysis is a key component in the design, tuning, and maintenance of network systems. Tremendous research efforts have been expended in this ...
Liudong Xing
TSP
2008
178views more  TSP 2008»
15 years 4 months ago
Extended Object Tracking Using Monte Carlo Methods
Abstract-- This paper addresses the problem of tracking extended objects, such as ships or a convoy of vehicles moving in urban environment. Two Monte Carlo techniques for extended...
Donka S. Angelova, Lyudmila Mihaylova
TSP
2008
86views more  TSP 2008»
15 years 4 months ago
Fixed-Complexity Soft MIMO Detection via Partial Marginalization
Abstract--This paper presents a new approach to soft demodulation for MIMO channels. The proposed method is an approximation to the exact a posteriori probability-per-bit computer....
Erik G. Larsson, Joakim Jalden
TSP
2008
92views more  TSP 2008»
15 years 4 months ago
Distributed Structures, Sequential Optimization, and Quantization for Detection
Abstract--In the design of distributed quantization systems one inevitably confronts two types of constraints--those imposed by a distributed system's structure and those impo...
Michael A. Lexa, Don H. Johnson
« Prev « First page 3166 / 3460 Last » Next »