3879 search results - page 725 / 776 » PyPBS design and methodologies |
141
click to vote
DATE
2000
IEEE
15 years 8 months ago
2000
IEEE
The Boolean satisfiability problem (SAT) has various applications in electronic design automation (EDA) fields such as testing, timing analysis and logic verification. SAT has bee...
127
click to vote
DATE
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper presents a methodology for parallel and distributed simulation of VHDL using the PDES (parallel discrete-event simulation) paradigm. To achieve better features and perf...
143
click to vote
HICSS
2000
IEEE
15 years 8 months ago
2000
IEEE
Electronic commerce applications have special features compared to conventional information systems. First, because electronic commerce usually involves yet nonexisting business a...
144
click to vote
TOOLS
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...
120
click to vote
VISUALIZATION
2000
IEEE
15 years 8 months ago
2000
IEEE
Large area tiled displays are gaining popularity for use in collaborative immersive virtual environments and scientific visualization. While recent work has addressed the issues ...