937 search results - page 116 / 188 » On the Complexity of Partial Order Properties |
145
click to vote
FDL
2005
IEEE
15 years 11 months ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
153
Voted
SG
2005
Springer
15 years 11 months ago
2005
Springer
Modelling, animation and rendering has dominated research computer graphics yielding increasingly rich and realistic virtual worlds. The complexity, richness and quality of the vir...
159
click to vote
ECBS
2003
IEEE
15 years 11 months ago
2003
IEEE
Polymorphous computer-based systems are systems in which the CPU architecture “morphs” or changes shape to meet the requirements of the application. Optimized and efficient de...
145
click to vote
WSTFEUS
2003
IEEE
15 years 11 months ago
2003
IEEE
System software for future computing environments becomes more complex and heterogeneous. Portability becomes one of the important properties of the future system software. Compon...
156
click to vote
FUZZY
2001
Springer
15 years 10 months ago
2001
Springer
This work studies the edge-based representation of directed acyclic graphs, as well as the properties of recombination operators working on it. It is shown that this representation...