Sciweavers

2441 search results - page 163 / 489
» Engineering a Tool to Detect Automatically Generated Papers
Sort
View
ECRTS
2002
IEEE
15 years 4 months ago
Fully Automatic Worst-Case Execution Time Analysis for Matlab/Simulink Models
In today’s technical world (e.g., in the automotive industry), more and more purely mechanical components get replaced by electro-mechanical ones. Thus the size and complexity o...
Raimund Kirner, Roland Lang, Gerald Freiberger, Pe...
PLDI
1996
ACM
15 years 3 months ago
Target-Sensitive Construction of Diagnostic Programs for Procedure Calling Sequence Generators
Building compilers that generate correct code is difficult. In this paper we present a compiler testing technique that closes the gap between actual compiler implementations and c...
Mark W. Bailey, Jack W. Davidson
ECOOP
2006
Springer
15 years 2 months ago
Automatic Prefetching by Traversal Profiling in Object Persistence Architectures
Object persistence architectures support transparent access to persistent objects. For efficiency, many of these architectures support queries that can prefetch associated objects ...
Ali Ibrahim, William R. Cook
IUI
2012
ACM
13 years 6 months ago
Towards automatic functional test execution
As applications are developed, functional tests ensure they continue to function as expected. Nowadays, functional testing is mostly done manually, with human testers verifying a ...
Pablo Pedemonte, Jalal Mahmud, Tessa Lau
MPC
2004
Springer
147views Mathematics» more  MPC 2004»
15 years 4 months ago
Extended Static Checking for Java
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...
Greg Nelson