Sciweavers

2846 search results - page 152 / 570
» A Software Performance Engineering Tool based on the UML-SPT
Sort
View
ICSE
2008
IEEE-ACM
16 years 6 months ago
PLURAL: checking protocol compliance under aliasing
Enforcing compliance to API usage protocols is notoriously hard due to possible aliasing of objects through multiple references. In previous work we proposed a sound, modular appr...
Kevin Bierhoff, Jonathan Aldrich
POPL
2008
ACM
16 years 6 months ago
From dirt to shovels: fully automatic tool generation from ad hoc data
An ad hoc data source is any semistructured data source for which useful data analysis and transformation tools are not readily available. Such data must be queried, transformed a...
Kathleen Fisher, David Walker, Kenny Qili Zhu, Pet...
COMPSAC
2009
IEEE
16 years 1 months ago
HEAT: An Integrated Static and Dynamic Approach for Thread Escape Analysis
Thread escape analysis, which determines whether and when a variable becomes shared by multiple threads, is a foundation for many other program analyses. Most existing escape anal...
Qichang Chen, Liqiang Wang, Zijiang Yang
JCDL
2005
ACM
111views Education» more  JCDL 2005»
16 years 1 days ago
Developing practical automatic metadata assignment and evaluation tools for internet resources
This paper describes the development of practical automatic metadata assignment tools to support automatic record creation for virtual libraries, metadata repositories and digital...
Gordon W. Paynter
DAC
2011
ACM
14 years 6 months ago
Process-level virtualization for runtime adaptation of embedded software
Modern processor architectures call for software that is highly tuned to an unpredictable operating environment. Processlevel virtualization systems allow existing software to ada...
Kim M. Hazelwood