Name | Deadline | Objectives | |
---|---|---|---|
CAV 2000 | Jan. 15, 2000 | Computer Aided Verification | |
SPAA'2000 | Jan. 20, 2000 | Parallel Algorithms and Architectures | |
EUROPAR'2000 | Jan. 31, 2000 | European conference on parallel computing | |
WS14 | Jan. 31, 2000 | Workshop on Instruction-Level Parallelism and Processor Architecture | |
TPHOLs 2000 | Feb. 25, 2000 | Theorem Proving in Higher Order Logics | |
Journal | Feb. 29, 2000 | Journal of Systems Architecture | |
ICCD 2000 | Mar. 10, 2000 | Computer Systems Design, Processor Architecture | |
PDPTA 2000 | Mar. 15, 2000 | Parallel and Distributed Processing Techniques and Applications | |
ASIC/SOC 2000 | Apr. 3, 2000 | Systems-on-Chip | |
ICCAD 2000 | Apr. 3, 2000 | Computer Aided Design | |
FMCAD 2000 | Apr. 30, 2000 | Formal Methods in Computer-Aided Design | |
ISCA 27 Worksh. | May 1, 2000 | Workshop on Complexity-Effective Design | |
PACT 2000 | May 2, 2000 | Parallel Architectures and Compilation Techniques | |
HiPC 2000 | May 8, 2000 | High Performance Computing | |
PDCS 2000 | May 30, 2000 | Parallel and Distributed Computing | |
SBAC-PAD 2000 | Jun. 1, 2000 | Computer Architecture and High Performance Computing | |
PDP 2001 | Jun. 6, 2000 | Parallel and Distributed Processing | |
ICA3PP 2000 | Jun. 6, 2000 | Algorithms & Architecture for Parallel Processing | |
Micro 33 | Jun. 19, 2000 | Microarchitecture / Instruction-Level Parallelism | |
HLDVT'00 | Jun. 30, 2000 | High Level Design Validation and Test Workshop | |
VLSI 2001 | Jul. 10, 2000 | VLSI Design | |
DATE 2001 | Sep. 15, 2000 | Design, Automation & Test | |
AI 2001 | Oct. 1, 2000 | Applied Informatics | |
DAC 38 | Oct. 27, 2000 | Design Automation | |
ISCA 2001 | Nov. 24, 2000 | Computer Architecture |