780 search results - page 116 / 156 » Case Study: Model Transformations for Time-triggered Languag... |
115
click to vote
CGO
2008
IEEE
15 years 8 months ago
2008
IEEE
Liveness analysis is an important analysis in optimizing compilers. Liveness information is used in several optimizations and is mandatory during the code-generation phase. Two dr...
170
click to vote
JAVACARD
2000
15 years 5 months ago
2000
: Open-cards have introduced a new life cycle for smart card embedded applications. In the case of Java Card, they have raised the problem of embedded object-oriented applet valida...
126
click to vote
FM
2003
Springer
15 years 7 months ago
2003
Springer
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...
156
click to vote
PG
2003
IEEE
15 years 7 months ago
2003
IEEE
We introduce an algorithm that consistently and accurately processes arbitrary intersections in tetrahedral meshes in real-time. The intersection surfaces are modeled up to the cu...
100
click to vote
IFIP
2009
Springer
15 years 8 months ago
2009
Springer
A number of selected field-study techniques have been validated in a case study in the domain of railway signal boxes. The context of this work is the endeavour of a human-centred ...