Sciweavers

10912 search results - page 1766 / 2183
» Object-Oriented Programming Languages
Sort
View
IFM
2009
Springer
107views Formal Methods» more  IFM 2009»
16 years 1 months ago
Realizability of Choreographies Using Process Algebra Encodings
Abstract. Service-oriented computing has emerged as a new programming paradigm that aims at implementing software applications which can be used through a network via the exchange ...
Gwen Salaün, Tevfik Bultan
IWMM
2009
Springer
114views Hardware» more  IWMM 2009»
16 years 1 months ago
Scalable support for multithreaded applications on dynamic binary instrumentation systems
Dynamic binary instrumentation systems are used to inject or modify arbitrary instructions in existing binary applications; several such systems have been developed over the past ...
Kim M. Hazelwood, Greg Lueck, Robert Cohn
CASES
2009
ACM
16 years 1 months ago
Optimal loop parallelization for maximizing iteration-level parallelism
This paper solves the open problem of extracting the maximal number of iterations from a loop that can be executed in parallel on chip multiprocessors. Our algorithm solves it opt...
Duo Liu, Zili Shao, Meng Wang, Minyi Guo, Jingling...
EICS
2009
ACM
16 years 1 months ago
Fiia: user-centered development of adaptive groupware systems
Adaptive groupware systems support changes in users’ locations, devices, roles and collaborative structure. Developing such systems is difficult due to the complex distributed ...
Christopher Wolfe, T. C. Nicholas Graham, W. Greg ...
COMPSAC
2008
IEEE
16 years 1 months ago
Mutation-Based Testing of Buffer Overflow Vulnerabilities
Buffer overflow (BOF) is one of the major vulnerabilities that leads to non-secure software. Testing an implementation for BOF vulnerabilities is challenging as the underlying rea...
Hossain Shahriar, Mohammad Zulkernine
« Prev « First page 1766 / 2183 Last » Next »