4917 search results - page 576 / 984 » Software Engineering is Not Computer Science |
147
click to vote
SPIN
2004
Springer
15 years 11 months ago
2004
Springer
The notion that certain procedures are atomic provides a valuable partial specification for many multithreaded software systems. Several existing tools verify atomicity by showing...
183
click to vote
PEPM
2010
ACM
16 years 3 months ago
2010
ACM
A method for context-sensitive analysis of binaries that may have obfuscated procedure call and return operations is presented. Such binaries may use operators to directly manipul...
166
Voted
OOPSLA
2007
Springer
16 years 18 days ago
2007
Springer
A comfort zone is a tested region of a system’s input space within which it has been observed to behave acceptably. To keep systems operating within their comfort zones, we advo...
183
click to vote
DAGSTUHL
2010
15 years 8 months ago
2010
We have adopted a numerical method from computational fluid dynamics, the Lattice Boltzmann Method (LBM), for real-time simulation and visualization of flow and amorphous phenomen...
207
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
In this paper we show that the (co)chain complex associated with a decomposition of the computational domain, commonly called a mesh in computational science and engineering, can b...