7557 search results - page 613 / 1512 » Modeling Timed Concurrent Systems |
204
click to vote
DAC
2006
ACM
16 years 1 months ago
2006
ACM
Reduction of the on-chip memory size is a key issue in video codec system design. Because video codec applications involve complex algorithms that are both data-intensive and cont...
172
click to vote
WSC
1998
15 years 8 months ago
1998
Constructing models of systems that change their structure over time has proved to be a challenging problem, with several proposed solutions. We present two of these approaches an...
220
click to vote
WSDM
2012
ACM
14 years 2 months ago
2012
ACM
Many factorization models like matrix or tensor factorization have been proposed for the important application of recommender systems. The success of such factorization models dep...
203
click to vote
SDL
2003
15 years 8 months ago
2003
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...
185
click to vote
SIAMCO
2010
15 years 1 months ago
2010
We study a system coupling the incompressible Navier-Stokes equations in a 2D rectangular type domain with a damped Euler-Bernoulli beam equation, where the beam is a part of the u...