15253 search results - page 2685 / 3051 » Integer-Programming Software Systems |
126
Voted
ISCA
2009
IEEE
15 years 11 months ago
2009
IEEE
Shared-memory multi-threaded programming is inherently more difficult than single-threaded programming. The main source of complexity is that, the threads of an application can in...
188
click to vote
CLOUDCOM
2009
Springer
15 years 11 months ago
2009
Springer
This keynote paper: (1) presents the 21st century vision of computing and identifies various IT paradigms promising to deliver computing as a utility; (2) defines the architecture ...
155
click to vote
IWMM
2009
Springer
15 years 11 months ago
2009
Springer
It is important that long running server programs retain availability amidst software failures. However, server programs do fail and one of the important causes of failures in ser...
135
click to vote
RE
2009
Springer
15 years 11 months ago
2009
Springer
Service-oriented architectures (SOA) aim at the alignment of business and IT by having a clear business process-centric focus. In order to reach that goal, real-world business pro...
133
click to vote
SPIN
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...