Sciweavers

1107 search results - page 2 / 222
» XAIRA : software for language analysis
Sort
View
112
Voted
SCOPES
2004
Springer
15 years 10 months ago
Fast Points-to Analysis for Languages with Structured Types
Michael Jung, Sorin A. Huss
116
Voted
IFIP
2004
Springer
15 years 10 months ago
Software Rejuvenation - Modeling and Analysis
Kishor S. Trivedi, Kalyanaraman Vaidyanathan
110
Voted
CC
2005
Springer
112views System Software» more  CC 2005»
15 years 10 months ago
A Study of Type Analysis for Speculative Method Inlining in a JIT Environment
Feng Qian, Laurie J. Hendren
134
Voted
SFM
2004
Springer
15 years 10 months ago
Embedded Software Analysis with MOTOR
This paper surveys the language Modest, a Modelling and Description language for Stochastic and Timed systems, and its accompanying tool-environment MOTOR. The language and tool ar...
Joost-Pieter Katoen, Henrik C. Bohnenkamp, Ric Kla...