Sciweavers

3330 search results - page 262 / 666
» software 2010
Sort
View
CISIS
2010
IEEE
14 years 7 months ago
A Simple Improvement of the Work-stealing Scheduling Algorithm
Work-stealing is the todays algorithm of choice for dynamic load-balancing of irregular parallel applications on multiprocessor systems. We have evaluated the algorithm’s effic...
Zeljko Vrba, Pål Halvorsen, Carsten Griwodz
128
Voted
CSCW
2010
ACM
16 years 7 days ago
Communication, collaboration, and bugs: the social nature of issue tracking in small, collocated teams
Issue tracking systems help organizations manage issue reporting, assignment, tracking, resolution, and archiving. Traditionally, it is the Software Engineering community that res...
Dane Bertram, Amy Voida, Saul Greenberg, Robert Wa...
104
Voted
VSTTE
2010
Springer
15 years 1 months ago
To Goto Where No Statement Has Gone Before
Abstract. This paper presents a method for deriving an expression from the lowlevel code compiled from an expression in a high-level language. The input is a low-level control flo...
Michael Barnett, K. Rustan M. Leino
122
Voted
COMPSAC
2010
IEEE
15 years 1 months ago
Specifying Time-Sensitive Systems with TLA+
We present a pattern-based method to express time specifications in the language TLA+ . A real-time module RealTimeNew is introduced to encapsulate the definitions of commonly used...
Hehua Zhang, Ming Gu, Xiaoyu Song
CCE
2010
15 years 24 days ago
A simple heuristic for reducing the number of scenarios in two-stage stochastic programming
In this work we address the problem of solving multiscenario optimization models that are deterministic equivalents of two-stage stochastic programs. We present a heuristic approx...
Ramkumar Karuppiah, Mariano Martín, Ignacio...