883 search results - page 103 / 177 » The Semantics of Verilog Using Transition System Combinators |
ENTCS
2006
13 years 9 months ago
2006
We deal with temporal aspects of distributed systems, introducing and studying a new model called timed distributed -calculus. This model extends distributed -calculus with timers...
MODELS
2009
Springer
14 years 3 months ago
2009
Springer
The second ACES-MB workshop brought together researchers and practitioners interested in model-based software engineering for realtime embedded systems, with a particular focus on ...
PVM
2010
Springer
13 years 7 months ago
2010
Springer
With the ever-increasing numbers of cores per node on HPC systems, applications are increasingly using threads to exploit the shared memory within a node, combined with MPI across ...
CIKM
2009
Springer
14 years 3 months ago
2009
Springer
In recent years, the tourism assistance community is gradually shifting its emphasis to digital, interactive systems. Our project aims for digital tourism assistance by combining ...
SETN
2004
Springer
14 years 2 months ago
2004
Springer
Content based image retrieval is an active research area of pattern recognition. A new method of extracting global texture energy descriptors is proposed and it is combined with fe...