1163 search results - page 64 / 233 » Concurrent Subspaces Analysis |
ICTAC
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We design a deadlock-free semantics for a concurrent, functional and imperative programming language where locks are implicitly and univocally associated with pointers. T...
CONCUR
2006
Springer
15 years 3 months ago
2006
Springer
We give a brief overview of operational models for concurrent systems that exhibit probabilistic behavior, focussing on the interplay between probability and nondeterminism. Our su...
NIPS
2007
15 years 1 months ago
2007
We study a pattern classification algorithm which has recently been proposed by Vapnik and coworkers. It builds on a new inductive principle which assumes that in addition to pos...
DATE
2003
IEEE
15 years 4 months ago
2003
IEEE
A new numerical technique for periodic small signal analysis based on harmonic balance method is proposed. Special-purpose numerical procedures based on Krylov subspace methods ar...
104
click to vote
CONCURRENCY
2002
14 years 11 months ago
2002
Parallel visualization of large datasets in GeoFEM is described. Our visualization subsystem supports concurrent visualization with computation, and outputs a simplified small gra...