9110 search results - page 296 / 1822 » Formally-Based Design Evaluation |
154
click to vote
ICCD
2000
IEEE
16 years 3 months ago
2000
IEEE
el of abstraction by integrating a high-level estimation step. This results in a design loop which is tight led on high level of abstraction (called estimation loop in figure 1). ...
210
click to vote
RTSS
2002
IEEE
15 years 11 months ago
2002
IEEE
In addition to real-time requirements, the program code size is a critical design factor for real-time embedded systems. To take advantage of the code size vs. execution time trad...
155
click to vote
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract—Channel shortening filters have been used in acoustics to reduce reverberation, in error control decoding to reduce complexity, and in communication systems to reduce i...
167
click to vote
DSS
2008
15 years 6 months ago
2008
In this paper we consider a multi-agent system (MAS) for the logistics control of Automatic Guided Vehicles (AGVs) that are used in the dough making process at an industrial baker...
183
click to vote
DKE
1999
15 years 6 months ago
1999
A Data Warehouse DW is a database that collects and stores data from multiple remote and heterogeneous information sources. When a query is posed, it is evaluated locally, without...