1837 search results - page 280 / 368 » Architecture = Abstractions over Software |
122
Voted
SIGSOFT
2003
ACM
15 years 5 months ago
2003
ACM
1 Step-wise refinement (SWR) asserts that complex programs can be derived from simple programs by progressively adding features. The length of a program specification is the number...
117
click to vote
IPPS
2007
IEEE
15 years 6 months ago
2007
IEEE
Due to the complexity associated with developing parallel applications, scientists and engineers rely on highlevel software libraries such as PETSc, ScaLAPACK and PESSL to ease th...
132
Voted
INTERNET
2008
15 years 17 days ago
2008
more abstractly to the tools, tactics, and techniques pertinent to each profession. Top basketball players know multiple ways to help their teams with scoring, passing, and defense...
208
click to vote
POPL
2007
ACM
16 years 26 days ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...
132
click to vote
ICPP
2006
IEEE
15 years 6 months ago
2006
IEEE
— This paper focuses on the transfer of large data in SMP systems. Achieving good performance for intranode communication is critical for developing an efficient communication s...