32545 search results - page 419 / 6509 » Data Structures and Algorithms |
156
click to vote
CAV
2007
Springer
16 years 1 months ago
2007
Springer
We propose a shape analysis that adapts to some of the complex composite data structures found in industrial systems-level programs. Examples of such data structures include “cyc...
171
click to vote
HIPS
1998
IEEE
15 years 11 months ago
1998
IEEE
Industrial applications use specific problem-oriented implementations of large sparse and irregular data structures. Hence there is a need for tools that make it possible for deve...
123
click to vote
TCS
2002
15 years 6 months ago
2002
We describe a general automata-theoretic approach for analyzing the veri
136
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
The present article dedicates itself to fuzzy modelling of data
213
click to vote
CODES
2010
IEEE
15 years 4 months ago
2010
IEEE
In high-level synthesis, pipelined designs are often restricted by the number of memory banks available to the synthesis system. Using multiple memory banks can improve the perfor...