125 search results - page 18 / 25 » The Formal Simulation Semantics of SystemVerilog |
106
click to vote
HYBRID
2010
Springer
15 years 6 months ago
2010
Springer
In this paper, we present an extension of the synchronous language Quartz by new kinds of variables, actions and statements for modeling the interaction of synchronous systems wit...
HYBRID
2005
Springer
15 years 5 months ago
2005
Springer
Interchange formats have been the backbone of the EDA industry for several years. They are used as a way of helping the development of design flows that integrate foreign tools us...
83
Voted
CONTEXT
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. In a previous paper, we proposed a first formal and conceptual comparison between the two most important formalizations of context in AI: Propositional Logic of Context ...
COSIT
1997
Springer
15 years 3 months ago
1997
Springer
Current geographic information systems (GISs) have been designed for querying and maintaining static databases representing static phenomena and give little support to those users ...
104
Voted
PPDP
2005
Springer
15 years 5 months ago
2005
Springer
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...