Sciweavers

2957 search results - page 369 / 592
» Code analysis and CS-XML
Sort
View
134
Voted
ICSM
2009
IEEE
15 years 11 months ago
Incremental call graph reanalysis for AspectJ software
Program call graph representation can be used to support many tasks in compiler optimization, program comprehension, and software maintenance. During software evolution, the call ...
Yu Lin, Sai Zhang, Jianjun Zhao
142
Voted
KCAP
2009
ACM
15 years 11 months ago
Knowledge engineering rediscovered: towards reasoning patterns for the semantic web
The extensive work on Knowledge Engineering in the 1990s has resulted in a systematic analysis of task-types, and the corresponding problem solving methods that can be deployed fo...
Frank van Harmelen, Annette ten Teije, Holger Wach...
142
Voted
APSEC
2008
IEEE
15 years 11 months ago
A Heap Model for Java Bytecode to Support Separation Logic
Memory usage analysis is an important problem for resource-constrained mobile devices, especially under mission- or safety-critical circumstances. Program codes running on or bein...
Chenguang Luo, Guanhua He, Shengchao Qin
DATE
2008
IEEE
103views Hardware» more  DATE 2008»
15 years 11 months ago
A Mutation Model for the SystemC TLM 2.0 Communication Interfaces
Mutation analysis is a widely-adopted strategy in software testing with two main purposes: measuring the quality of test suites, and identifying redundant code in programs. Simila...
Nicola Bombieri, Franco Fummi, Graziano Pravadelli
ICC
2008
IEEE
106views Communications» more  ICC 2008»
15 years 11 months ago
Performance Evaluation of BICM-OFDM Systems Impaired by UWB Interference
— In this paper, we propose a theoretical framework for the analysis of the impact of ultra–wideband (UWB) interference on systems that use the popular combination of bit– in...
Amir Nasri, Robert Schober, Lutz H.-J. Lampe