1791 search results - page 115 / 359 » Two Types of Multiple-Conclusion Systems |
ECBS
2002
IEEE
14 years 2 months ago
2002
IEEE
When designing a software module or system, a systems engineer must consider and differentiate between how the system responds to external and internal errors. External errors can...
LCPC
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. Many parallel programs are written in a single-program, multipledata (SPMD) style, in which synchronization is provided using collective operations that all threads execu...
PCI
2001
Springer
14 years 1 months ago
2001
Springer
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development of the components of a system. This paper describes...
DATE
2010
IEEE
14 years 1 months ago
2010
IEEE
-- Starting Electronic System Level (ESL) design flows with executable High-Level Models (HLMs) has the potential to sustainably improve productivity. However, writing good HLMs fo...
NAACL
2010
13 years 7 months ago
2010
Machine translation benefits from two types of decoding techniques: consensus decoding over multiple hypotheses under a single model and system combination over hypotheses from di...