IEEE Transactions on Software Engineering
Current trends in concurrency. Overviews and tutorials
Communications of the ACM
Parallel program design: a foundation
Parallel program design: a foundation
Scaling up: a research agenda for software engineering
Communications of the ACM
VERDI: a visual environment for designing distributed systems
Journal of Parallel and Distributed Computing - Special issue: software tools for parallel programming and visualization
An architecture design and assessment system for software/hardware codesign
DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
Software Engineering
A D&T Roundtable-Formal Verification: Is It Practical for Real-World Design?
IEEE Design & Test
IEEE Software
Cosimulation of real-time control systems
EURO-DAC '95/EURO-VHDL '95 Proceedings of the conference on European design automation
A top-down design environment for developing pipelined datapaths
DAC '98 Proceedings of the 35th annual Design Automation Conference
Extensions to the spiral model to support joint development of complex software systems
ACM-SE 30 Proceedings of the 30th annual Southeast regional conference
A Codesign Environment Supporting Hardware/Software Modeling at Different Levels of Detail
CODES '97 Proceedings of the 5th International Workshop on Hardware/Software Co-Design
Developer requirements in the PF approach
Proceedings of the 2006 international workshop on Advances and applications of problem frames
Benefits and challenges in developing warship simulator based on DEVS formalism
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Hi-index | 0.00 |