851 search results - page 14 / 171 » History Effects and Verification |
AC
2008
Springer
14 years 9 months ago
2008
Springer
The historical context surrounding the birth of the DARPA High Productivity Computing Systems (HPCS) program is important for understanding why federal government agencies launche...
ETS
2000
IEEE
14 years 9 months ago
2000
IEEE
A commonly encountered view of computer conferencing focuses on peer interaction, student empowerment and a shift in both teacher and student roles. This paper argues that this vi...
86
Voted
CSR
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. We survey classical and selected recent work on the reachability problem over finitely presented infinite graphs. The problem has a history of 100 years, and it is centra...
MR
2007
14 years 9 months ago
2007
The development of a simplified analytical model to describe the thermal history of a Printed Circuit Board assembly (PCA) during convective reflow soldering is described in this ...
SAC
2008
ACM
14 years 9 months ago
2008
ACM
Despite its relatively short history, a wealth of formalisms exist for algebraic specification of stochastic systems. The goal of this paper is to give such formalisms a unifying ...