1992 search results - page 302 / 399 » Memory modeling for system synthesis |
184
click to vote
PE
2000
Springer
15 years 4 months ago
2000
Springer
Conventional methods for state space exploration are limited to the analysis of small systems because they suffer from excessive memory and computational requirements. We have dev...
235
Voted
ICDE
2003
IEEE
16 years 6 months ago
2003
IEEE
We investigate algorithms for evaluating moving window joins over pairs of unbounded streams. We introduce a unit-time-basis cost model to analyze the expected performance of thes...
130
click to vote
ACSD
2005
IEEE
15 years 10 months ago
2005
IEEE
We introduce and study problems of distributed observation with bounded or unbounded memory. We are given a system modeled as a finite-word language L over some finite alphabet ...
154
click to vote
TCOM
2010
14 years 11 months ago
2010
It has been widely acknowledged that the aggregate interference at the receiver for various practical communication channels can often deviate markedly from the classical additive ...
155
Voted
EDOC
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— Component-based applications require good middleware support. In particular, business logic should be separated from management code for guaranteeing nonfunctional prop...