| 3601 |
|
SPECIAL SECTION PAPERS ON SOFTWARE ENGINEERING - Formal Methods: Mathematics, Computer Science, or Software Engineering?/
|
Tremblay, G
|
Institute of Electrical and Electronics Engineers
|
2000
|
|
|
|
| 3602 |
|
SPECIAL SECTION PAPERS ON SOFTWARE ENGINEERING - Learning Systems Design with UML and Patterns/
|
Cybulski, J L
|
Institute of Electrical and Electronics Engineers
|
2000
|
|
|
|
| 3603 |
|
SPECIAL SECTION PAPERS ON SOFTWARE ENGINEERING - Student Group Working Across Universities: A Case Study in Software Engineering/
|
Brereton, O P
|
Institute of Electrical and Electronics Engineers
|
2000
|
|
|
|
| 3604 |
|
SPECIAL SECTION PAPERS ON SOFTWARE ENGINEERING - University/Industry Collaboration in Developing A Simulation-Based Software Project Management Training Course/
|
Collofello, J S
|
Institute of Electrical and Electronics Engineers
|
2000
|
|
|
|
| 3605 |
|
SPECIAL SECTION PAPERS - Performance Improvement of Geographically Distributed Cosimulation by Hierarchically Grouped Messages/
|
Yoo, S
|
Institute of Electrical and Electronics Engineers
|
2000
|
|
|
|
| 3606 |
|
SPECIAL SECTION PAPERS - Scheduling with Bus Access Optimization for Distributed Embedded Systems/
|
Eles, P
|
Institute of Electrical and Electronics Engineers
|
2000
|
|
|
|
| 3607 |
|
SPECIAL SECTION TRANSACTIONS BRIEFS - A Compositional Model for the Functional Verification of High-Level Synthesis Results/
|
Borrione, D
|
Institute of Electrical and Electronics Engineers
|
2000
|
|
|
|
| 3608 |
|
SPECIAL SECTION TRANSACTIONS BRIEFS - Exact Memory Size Estimation for Array Computations/
|
Zhao, Y
|
Institute of Electrical and Electronics Engineers
|
2000
|
|
|
|
| 3609 |
|
SPECIAL SECTION TRANSACTIONS BRIEFS - Expression-Tree-Based Algorithms for Code Compression on Embedded RISC Architectures/
|
Araujo, G
|
Institute of Electrical and Electronics Engineers
|
2000
|
|
|
|
| 3610 |
|
SPECIAL SECTION TRANSACTIONS BRIEFS - Memory Efficient Software Synthesis with Mixed Coding Style from Dataflow Graphs/
|
Sung, W
|
Institute of Electrical and Electronics Engineers
|
2000
|
|
|
|
| 3611 |
|
Special Section: Workshop on Software and Performance -- Part I - A Method for Design and Performance Modeling of Client/Server Systems/
|
Menasc�, D A
|
Institute of Electrical and Electronics Engineers]
|
2000
|
|
|
|
| 3612 |
|
Special Section: Workshop on Software and Performance -- Part I - A Multilayer Client-Server Queueing Network Model with Synchronous and Asynchronous Messages/
|
Ramesh, S
|
Institute of Electrical and Electronics Engineers]
|
2000
|
|
|
|
| 3613 |
|
Special Section: Workshop on Software and Performance -- Part I - Architecture-Based Performance Analysis Applied to a Telecommunication System/
|
Petriu, D
|
Institute of Electrical and Electronics Engineers]
|
2000
|
|
|
|
| 3614 |
|
Special Section: Workshop on Software and Performance -- Part I - Guest Editors' Introduction -- Workshop on Software and Performance/
|
Cheng, A M K
|
Institute of Electrical and Electronics Engineers]
|
2000
|
|
|
|
| 3615 |
|
SPECIAL SECTION: WORKSHOP ON SOFTWARE AND PERFORMANCE -- PART II - Experience with Performance Testing of Software Systems: Issues, an Approach, and Case Study/
|
Weyuker, E J
|
Institute of Electrical and Electronics Engineers]
|
2000
|
|
|
|
| 3616 |
|
SPECIAL SECTION: WORKSHOP ON SOFTWARE AND PERFORMANCE -- PART II - Guest Editors' Introduction: Workshop on Software and Performance/
|
Cheng, A M K
|
Institute of Electrical and Electronics Engineers]
|
2000
|
|
|
|
| 3617 |
|
SPECIAL SECTION: WORKSHOP ON SOFTWARE AND PERFORMANCE -- PART II - Management of Performance Requirements for Information Systems/
|
Nixon, B A
|
Institute of Electrical and Electronics Engineers]
|
2000
|
|
|
|
| 3618 |
|
Special Section: Workshop on Software and Performance -- Part I - POEMS: End-to-End Performance Design of Large Parallel Adaptive Computational Systems/
|
Adve, V S
|
Institute of Electrical and Electronics Engineers]
|
2000
|
|
|
|
| 3619 |
|
Speech, Image, Video, and SignalPprocessing - Efficient Rank-Ordered Mean (ROM) Techniques for the Recovery of Highly Corrupted Images/
|
Hasan, M
|
Institute of Electrical and Electronics Engineers
|
2000
|
|
|
|
| 3620 |
|
Speech, Image, Video & Signal Processing - Carrier Frequency Offset Compensation for Uplink of OFDM-FDMA Systems/
|
Choi, J
|
Institute of Electrical and Electronics Engineers
|
2000
|
|
|
|
