Symbolic analysis methods for information systems
Abstract
Recommendations
The Analysis and Design of the Information Service System for Migrate Workers
IC4E '10: Proceedings of the 2010 International Conference on e-Education, e-Business, e-Management and e-LearningThis paper first gives the requirement analysis of migtant worker information service system (MWISS) including migrate worker’s service demand, the advantages, necessity and feasibility of establishing MWISS; Then we gives the system analysis of MWISS, ...
Prospective Hazard Analysis for Information System
ICHI '14: Proceedings of the 2014 IEEE International Conference on Healthcare InformaticsClinical Information Technology (CIT) literature expresses a wide variety of hazards and unintended consequences which these technologies manifest. Literature review, field study, sample survey and experimental simulation have all been applied in an ...
Performance analysis of symbolic analysis techniques for parallelizing compilers
LCPC'02: Proceedings of the 15th international conference on Languages and Compilers for Parallel ComputingUnderstanding symbolic expressions is an important capability of advanced program analysis techniques. Many current compiler techniques assume that coefficients of program expressions, such as array subscripts and loop bounds, are integer constants. ...
Comments
Information & Contributors
Information
Published In
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 239Total Downloads
- Downloads (Last 12 months)65
- Downloads (Last 6 weeks)10
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in