7452 search results - page 269 / 1491 » A Semantics for Multiprocessor Systems |
184
click to vote
TC
2010
15 years 5 months ago
2010
—The number of CPUs in chip multiprocessors is growing at the Moore’s Law rate, due to continued technology advances. However, new technologies pose serious reliability challen...
208
click to vote
IFM
2007
Springer
16 years 24 days ago
2007
Springer
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
159
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
—A variety of partial modeling formalisms, aimed re and reason about abstractions, have been proposed. Some, e.g., Kripke Modal Transition Systems (KMTSs) put strong restrictions...
175
Voted
IJMSO
2006
15 years 6 months ago
2006
: Using archetypes is a promising approach in providing semantic interoperability among healthcare systems. To realise archetype based interoperability, the healthcare systems need...
206
click to vote
ACL
2010
15 years 4 months ago
2010
Most supervised language processing systems show a significant drop-off in performance when they are tested on text that comes from a domain significantly different from the domai...