3564 search results - page 354 / 713 » Evaluating a Formal Modelling Language |
132
click to vote
DATE
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper presents an environment based on SystemC for architecture specification of programmable systems. Making use of the new architecture description language ArchC, able to ...
143
click to vote
PROCEDIA
2010
14 years 11 months ago
2010
High performance computing with low cost machines becomes a reality with GPU. Unfortunately, high performances are achieved when the programmer exploits the architectural specific...
124
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
This paper describes recent advances at LIMSI in Mandarin Chinese speech-to-text transcription. A number of novel approaches were introduced in the different system components. Th...
157
click to vote
EDBT
2006
ACM
16 years 4 months ago
2006
ACM
Traditional content based publish/subscribe (pub/sub) systems allow users to express stateless subscriptions evaluated on individual events. However, many applications such as moni...
214
click to vote
ESOP
2006
Springer
15 years 8 months ago
2006
Springer
Using a call-by-value functional language as an example, this article illustrates the use of coinductive definitions and proofs in big-step operational semantics, enabling it to d...