7099 search results - page 72 / 1420 » Context for models of concurrency |
PRIS
2008
13 years 11 months ago
2008
Abstract. In statistical machine translation, phrase-based translation (PBT) models lead to a significantly better translation quality over single-word-based (SWB) models. PBT mode...
ENTCS
2008
13 years 10 months ago
2008
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
EURODAC
1994
IEEE
14 years 2 months ago
1994
IEEE
A set of concurrent processes communicating through shared variables is an often used model for hardware systems. This paper presents three modeling techniques for representing su...
DATE
2009
IEEE
14 years 4 months ago
2009
IEEE
—More and more processor manufacturers have launched embedded multicore processors for consumer electronics products because such processors provide high performance and low powe...
ECOOPWEXCEPTION
2000
Springer
2000
Springer
Action-Oriented Exception Handling in Cooperative and Competitive Concurrent Object-Oriented Systems
14 years 2 months ago
The chief aim of this survey is to discuss exception handling models which have been developed for concurrent object systems. In conducting this discussion we rely on the following...