2225 search results - page 304 / 445 » Logical Structures in the Lexicon |
159
click to vote
SAS
2007
Springer
16 years 17 days ago
2007
Springer
Existing shape analysis algorithms infer descriptions of data structures at program points, starting from a given precondition. We describe an analysis that does not require any pr...
136
click to vote
DATE
2006
IEEE
16 years 16 days ago
2006
IEEE
Scheduling is an important step in high-level synthesis (HLS). In our tool, we perform scheduling in two steps: coarse-grain scheduling, in which we take into account the whole co...
164
click to vote
IMSCCS
2006
IEEE
16 years 15 days ago
2006
IEEE
The application of component repository has become more and more popular in the practice of component-based software development. Most of the repositories are physically isolated ...
152
click to vote
IPPS
2006
IEEE
16 years 15 days ago
2006
IEEE
Violations of a number of common safety properties of multithreaded programs–such as atomicity and absence of dataraces–cannot be observed by looking at the linear execution t...
178
click to vote
ISCAS
2006
IEEE
16 years 14 days ago
2006
IEEE
— Reduced ordered Binary Decision Diagrams (BDDs) are a data structure for efficient representation and manipulation of Boolean functions. They are frequently used in logic synt...