1953 search results - page 77 / 391 » Dependability Modeling and Analysis in Dynamic Systems |
PPOPP
2009
ACM
14 years 9 months ago
2009
ACM
This paper proposes a new parallel execution model where programmers augment a sequential program with pieces of code called serializers that dynamically map computational operati...
ECBS
2010
IEEE
14 years 3 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
ICCS
2005
Springer
14 years 2 months ago
2005
Springer
The aim of this paper is to address computational aspects of the total energy singular vector analysis of atmospheric chemical transport models. We discuss the symmetry of the tang...
GROUP
2007
ACM
14 years 26 days ago
2007
ACM
Employees depend on other people in the enterprise for rapid access to important information. But current systems for finding experts do not adequately address the social implicat...
EOR
2006
13 years 9 months ago
2006
The success of a company increasingly depends on timely information (internal or external) being available to the right person at the right time for crucial managerial decision-ma...