2957 search results - page 232 / 592 » Code analysis and CS-XML |
150
Voted
ICST
2009
IEEE
15 years 1 months ago
2009
IEEE
Manual reviews and inspections of software artefacts are time consuming and thus, automated analysis tools have been developed to support the quality assurance of software artefac...
122
Voted
RTSS
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—The Hierarchical Timing Language (HTL) is a realtime coordination language for distributed control systems. HTL programs must be checked for well-formedness, race freedo...
156
Voted
JTRES
2009
ACM
15 years 10 months ago
2009
ACM
This paper describes hardware methods, a lightweight and platform-independent scheme for linking real-time Java code to co-processors implemented using a hardware description lang...
125
Voted
ECBS
2008
IEEE
15 years 10 months ago
2008
IEEE
Models are widely used for communication and documentation purposes. They also tend to be used as parameters for code generation. Because these models have to be complete, consist...
92
Voted
ICTAI
2008
IEEE
15 years 10 months ago
2008
IEEE
Analyzing spend transactions is essential to organizations for understanding their global procurement. Central to this analysis is the automated classification of these transacti...