1992 search results - page 239 / 399 » Memory modeling for system synthesis |
167
click to vote
IVC
2007
15 years 6 months ago
2007
The problem of clustering is often addressed with techniques based on a Voronoi partition of the data space. Vector quantization is based on a similar principle, but it is a diffe...
162
click to vote
CHARME
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...
182
click to vote
JAVA
2001
Springer
15 years 10 months ago
2001
Springer
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. Jackal implements Java’s memory model and allows multithreaded Java programs...
168
click to vote
CODES
2007
IEEE
16 years 21 days ago
2007
IEEE
The design and analysis of today’s complex real-time systems requires advanced methods. Due to ever growing functionality, hardware complexity and component interaction, applyin...
172
click to vote
VTC
2007
IEEE
16 years 18 days ago
2007
IEEE
We investigate models for uplink interference in wireless systems. Our models account for the effects of outage probabilities. Such an accounting requires a nonlinear, even nonco...