4360 search results - page 556 / 872 » Socio-technical systems: From design methods to systems engi... |
184
click to vote
AMAST
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
175
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Different from sequential programs, parallel programs possess their own characteristics which are difficult to analyze in the multi-process or multi-thread environment. This paper...
199
Voted
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
In this paper, we present results from our empirical evaluations of a workspace awareness tool that we designed and implemented to augment the functionality of software configurat...
172
click to vote
ICPP
2009
IEEE
16 years 1 months ago
2009
IEEE
— High-end computing (HEC) systems have passed the petaflop barrier and continue to move toward the next frontier of exascale computing. As companies and research institutes con...
181
click to vote
MCU
1998
15 years 8 months ago
1998
The paper extends some of the most recently obtained results on the computational universality of speci c variants of H systems (e.g. with regular sets of rules) and proves that we...