6018 search results - page 263 / 1204 » Factored Translation Models |
143
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
This paper presents Kato, a tool that implements a novel class of optimizations that are inspired by program slicing for imperative languages but are applicable to analyzable decl...
158
click to vote
IFM
2009
Springer
16 years 23 days ago
2009
Springer
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
188
click to vote
ISORC
1999
IEEE
15 years 10 months ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
156
click to vote
WSC
2001
2001
Quantifying simulation output variability using confidence intervals and statistical process control
15 years 7 months ago
Two types of variability can occur in model output: variability between replications and variability within each replication. The objective of the model combined with the type of ...
137
click to vote
IV
1999
IEEE
15 years 10 months ago
1999
IEEE
Models for visualization are important, helping the developer and user to understand the visualization process; to follow the connections and the data paths through the system; an...