Sciweavers

1257 search results - page 84 / 252
» A generalization of Euler's constant
Sort
View
OPODIS
2010
13 years 6 months ago
An Adaptive Technique for Constructing Robust and High-Throughput Shared Objects
Abstract. Shared counters are the key to solving a variety of coordination problems on multiprocessor machines, such as barrier synchronization and index distribution. It is desire...
Danny Hendler, Shay Kutten, Erez Michalak
CORR
2010
Springer
127views Education» more  CORR 2010»
13 years 3 months ago
Complexity of Data Dependence problems for Program Schemas with Concurrency
am analysis and has been widely studied. In this paper we consider this problem at the abstraction level of program schemas in which computations occur in the Herbrand domain of te...
Sebastian Danicic, Robert M. Hierons, Michael R. L...

Book
246views
15 years 7 months ago
Using, Understanding, and Unraveling The OCaml Language
"These course notes are addressed to a wide audience of people interested in modern programming languages in general, ML-like languages in particular, or simply in OCaml, whet...
Didier Remy
ICIP
2005
IEEE
14 years 10 months ago
Bayesian visual tracking with existence process
Most object tracking approaches either assume that the number of objects is constant, or that information about object existence is provided by some external source. Here, we show...
Jaco Vermaak, Mark Briers, Patrick Pérez, S...
DAC
2008
ACM
14 years 10 months ago
Characterizing chip-multiprocessor variability-tolerance
Spatially-correlated intra-die process variations result in significant core-to-core frequency variations in chip-multiprocessors. An analytical model for frequency island chip-mu...
Sebastian Herbert, Diana Marculescu