3218 search results - page 208 / 644 » Timed Extensions for SDL |
136
Voted
OOPSLA
1997
Springer
15 years 10 months ago
1997
Springer
Class libraries are generally designed with an emphasis on versatility and extensibility. Applications that use a library typically exercise only part of the library’s functiona...
139
Voted
DAC
1994
ACM
15 years 10 months ago
1994
ACM
Functional and timing verification are currently the bottlenecks in many design efforts. Simulation and emulation are extensively used for verification. Formal verification is now...
147
click to vote
ECAL
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents computer simulations which investigate the effect that different group sizes have on the emergence of compositional structures in languages. The simulations are...
164
click to vote
ITP
2010
15 years 10 months ago
2010
The Isabelle Collections Framework (ICF) provides a unified framework for using verified collection data structures in Isabelle/HOL formalizations and generating efficient functi...
137
Voted
ICCSA
2007
Springer
15 years 10 months ago
2007
Springer
In order to achieve a high performance in a real implementation of the non-repudiation service it is necessary to estimate timeouts, TTP features, publication key time, number of o...