5451 search results - page 716 / 1091 » Typed Operational Semantics |
154
click to vote
ECSQARU
2005
Springer
16 years 6 days ago
2005
Springer
In this paper we explore the use of several types of structural restrictions within algorithms for learning Bayesian networks. These restrictions may codify expert knowledge in a g...
172
click to vote
APLAS
2004
ACM
16 years 3 days ago
2004
ACM
In safety-critical and high-reliability systems, software development and maintenance are costly endeavors. The cost can be reduced if software errors can be identified through au...
189
click to vote
FPGA
2004
ACM
16 years 1 days ago
2004
ACM
In this paper, an efficient implementation of a high performance coarse-grain reconfigurable data-path on a mixed-granularity reconfigurable platform is presented. It consists of ...
156
click to vote
GPCE
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Meta-AspectJ (MAJ) is a language tool for generating AspectJ programs using code templates. MAJ itself is an extension of Java, so users can interleave arbitrary Java cod...
167
click to vote
PDCAT
2004
Springer
16 years 15 hour ago
2004
Springer
Abstract. This paper proposes a simplified simultaneous multithreading (SMT) architecture aiming at CPU cores of embedded SoCs for consumer applications. This architecture reduces...