Sciweavers

477 search results - page 83 / 96
» Concurrent Pattern Calculus
Sort
View
FSTTCS
2009
Springer
14 years 2 months ago
Modelchecking counting properties of 1-safe nets with buffers in paraPSPACE
ABSTRACT. We consider concurrent systems that can be modelled as 1-safe Petri nets communicating through a fixed set of buffers (modelled as unbounded places). We identify a param...
M. Praveen, Kamal Lodaya
ICFEM
2009
Springer
14 years 2 months ago
Modeling and Analysis of Thread-Pools in an Industrial Communication Platform
Thread pools are often used as a pattern to increase the throughput and responsiveness of software systems. Implementations of thread pools may differ considerably from each other...
Frank S. de Boer, Immo Grabe, Mohammad Mahdi Jagho...
OOPSLA
2009
Springer
14 years 2 months ago
The design of a task parallel library
The Task Parallel Library (TPL) is a library for .NET that makes it easy to take advantage of potential parallelism in a program. The library relies heavily on generics and delega...
Daan Leijen, Wolfram Schulte, Sebastian Burckhardt
ICDM
2008
IEEE
102views Data Mining» more  ICDM 2008»
14 years 2 months ago
Mining Order-Preserving Submatrices from Data with Repeated Measurements
Order-preserving submatrices (OPSM’s) have been shown useful in capturing concurrent patterns in data when the relative magnitudes of data items are more important than their ab...
Chun Kit Chui, Ben Kao, Kevin Y. Yip, Sau Dan Lee
ICDM
2008
IEEE
190views Data Mining» more  ICDM 2008»
14 years 2 months ago
Simultaneous Co-segmentation and Predictive Modeling for Large, Temporal Marketing Data
Several marketing problems involve prediction of customer purchase behavior and forecasting future preferences. We consider predictive modeling of large scale, bi-modal or multimo...
Meghana Deodhar, Joydeep Ghosh