Test vector decomposition-based static compaction algorithms for combinational circuits
- 期刊名称ACM Transactions on Design Automation of Electronic Systems
- 作者El-Maleh, Aiman H.; Osais, Yahya E.
- 卷第8卷
- 期第4期
- 印刷ISSN1084-4309
- 文件大小264.77KB
- 发表时间2003-10-01
- DOI10.1145/944027.944030
- 页码430-459
Representing concerns in source codeRobillard, Martin P.; Murphy, Gail C. · ACM Transactions on Software Engineering and Methodology · 2007
Just-in-time concern modelingRobillard, Martin P.; Murphy, Gail C. · ACM SIGSOFT Software Engineering Notes · 2005
Analyzing exception flow in Java programsRobillard, Martin P.; Murphy, Gail C. · ACM SIGSOFT Software Engineering Notes · 1999
Designing robust Java programs with exceptionsRobillard, Martin P.; Murphy, Gail C. · ACM SIGSOFT Software Engineering Notes · 2000
[ACM Press the 24th international conference - Orlando, Florida (2002.05.19-2002.05.25)] Proceedings of the 24th international conference on Software engineering - ICSE '02 - Concern graphsRobillard, Martin P.; Murphy, Gail C. · 2002
[ACM Press the 8th ACM SIGSOFT international symposium - San Diego, California, United States (2000.11.06-2000.11.10)] Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering twenty-first century applications - SIGSOFT '00/FSE-8 - Designing robust Java programs with exceptionsRobillard, Martin P.; Murphy, Gail C. · 2000
Business Process Model MergingLa Rosa, Marcello; Dumas, Marlon; Uba, Reina; Dijkman, Remco · ACM Transactions on Software Engineering and Methodology · 2013
An algebra of design patternsZhu, Hong; Bayley, Ian · ACM Transactions on Software Engineering and Methodology · 2013
Symbolic Message Sequence ChartsRoychoudhury, Abhik; Goel, Ankit; Sengupta, Bikram · ACM Transactions on Software Engineering and Methodology · 2012
Model driven securityBasin, David; Doser, Jürgen; Lodderstedt, Torsten · ACM Transactions on Software Engineering and Methodology · 2006
Developing multiagent systemsZambonelli, Franco; Jennings, Nicholas R.; Wooldridge, Michael · ACM Transactions on Software Engineering and Methodology · 2003
Directed Incremental Symbolic ExecutionYang, Guowei; Person, Suzette; Rungta, Neha; Khurshid, Sarfraz · ACM Transactions on Software Engineering and Methodology · 2014
ADAMGanesan, Dharmalingam; Lindvall, Mikael · ACM Transactions on Software Engineering and Methodology · 2014
Topology analysis of software dependenciesRobillard, Martin P. · ACM Transactions on Software Engineering and Methodology · 2008