4965 search results - page 42 / 993 » A Simple Abstraction for Data Modeling |
139
click to vote
CONCUR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In this paper we show how to compress efficiently the statespace of a concurrent system (here applied to a simple shared memory model, but this is no way limited to that ...
170
click to vote
ENTCS
2008
15 years 5 months ago
2008
istic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions Michael J. A. Smith1 ,2 Laboratory for Foundations of Computer Science University of Edinb...
138
click to vote
FATES
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...
173
click to vote
ICASSP
2011
IEEE
14 years 9 months ago
2011
IEEE
Building models of the structure in musical signals raises the question of how to evaluate and compare different modeling approaches. One possibility is to use the model to impute...
185
click to vote
ICDM
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--S4 is a general-purpose, distributed, scalable, partially fault-tolerant, pluggable platform that allows programmers to easily develop applications for processing continu...