883 search results - page 67 / 177 » The Semantics of Verilog Using Transition System Combinators |
EUROGRAPHICS
2010
Eurographics
14 years 6 months ago
2010
Eurographics
This paper presents a hybrid approach to multiple fluid simulation that can handle miscible and immiscible fluids, simultaneously. We combine distance functions and volume fract...
CAV
2008
Springer
13 years 11 months ago
2008
Springer
This paper proposes a new approach for deriving invariants that are systems of congruence equations where the modulo is a power of 2. The technique is an amalgam of SAT-solving, wh...
LOGCOM
2008
13 years 9 months ago
2008
We consider continuous quantities that are used to describe the physical world, such as colour, shape, sound, texture, and spatial and temporal arrangements. Natural languages are...
FLAIRS
2006
13 years 10 months ago
2006
In this paper we describe a system for semantic interpretation of noun compounds that relies on world and domain knowledge from a knowledge base. This architecture combines domain...
MOMPES
2009
IEEE
14 years 3 months ago
2009
IEEE
Hard real-time embedded distributed systems pose huge demands in their implementation which must contain as few faults as possible. Over the past years, model-driven development a...