1163 search results - page 64 / 233 » Concurrent Subspaces Analysis |
126
click to vote
ICTAC
2009
Springer
15 years 10 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...
123
click to vote
CONCUR
2006
Springer
15 years 7 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...
113
Voted
NIPS
2007
15 years 4 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 8 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...
145
Voted
CONCURRENCY
2002
15 years 3 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...