606 search results - page 106 / 122 » Discrete Time Process Algebra |
EOR
2007
13 years 7 months ago
2007
Performance evaluation of complex systems is a critical issue and bounds computation provides confidence about service quality, reliability, etc. of such systems. The stochastic ...
CODES
2010
IEEE
13 years 5 months ago
2010
IEEE
The Ptolemy project studies modeling, simulation, and design of concurrent, real-time, embedded systems. The focus is on assembly of concurrent components. The key underlying prin...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
High resolution through-the-wall radar imaging (TTWRI) demands wideband signals and large array apertures. Thus a vast amount of measurements is needed for a detailed reconstructi...
TALG
2010
13 years 2 months ago
2010
We study a generalization of the k-median problem with respect to an arbitrary dissimilarity measure D. Given a finite set P of size n, our goal is to find a set C of size k such t...
ASPLOS
2009
ACM
13 years 11 months ago
2009
ACM
Optical Quadrature Microscopy (OQM) is a process which uses phase data to capture information about the sample being studied. OQM is part of an imaging framework developed by the ...