1823 search results - page 64 / 365 » Formal specification: a roadmap |
DAC
2000
ACM
14 years 11 months ago
2000
ACM
Technology extrapolation -- the calibration and prediction of achievable design in future technology generations ? drives the evolution of VLSI system architectures, design method...
VISUALIZATION
1999
IEEE
14 years 2 months ago
1999
IEEE
View-dependentsimplification has emerged as a powerful tool for graphics acceleration in visualization of complex environments. However, view-dependent simplification techniques h...
JOT
2008
13 years 10 months ago
2008
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...
FASE
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...
CLEIEJ
2004
13 years 10 months ago
2004
ept of reconfigurable systems is almost always restricted to the abstract design level, in which configuration languages are used to manipulate software connections. In this paper...