Sciweavers

8109 search results - page 468 / 1622
» A Model of Component-Based Programming
Sort
View
JMLR
2012
13 years 10 months ago
Gaussian Processes for time-marked time-series data
In many settings, data is collected as multiple time series, where each recorded time series is an observation of some underlying dynamical process of interest. These observations...
John Cunningham, Zoubin Ghahramani, Carl Edward Ra...
ICSE
2012
IEEE-ACM
13 years 10 months ago
Axis: Automatically fixing atomicity violations through solving control constraints
Abstract—Atomicity, a general correctness criterion in concurrency programs, is often violated in real-world applications. The violations are difficult for developers to fix, m...
Peng Liu, Charles Zhang
OOPSLA
2009
Springer
16 years 4 days ago
MT-scribe: a tool for recording and inferring model transformations
The traditional model transformation approach is to write transformation programs in a specialized language. Although such languages provide powerful capabilities to automate mode...
Yu Sun, Jeff Gray, Jules White
SIGDOC
2006
ACM
16 years 1 months ago
Handling objects: a scenario based approach
We report on the development of a tool which supports software programmers in programming to an interface by providing just in time (JIT) solutions. The development of the tool wa...
Thomas George Kannampallil, John M. Daughtry III
IFIP
2005
Springer
16 years 1 months ago
Multi-Stage Stochastic Electricity Portfolio Optimization in Liberalized Energy Markets
In this paper we analyze the electricity portfolio problem of a big consumer in a multi-stage stochastic programming framework. Stochasticity enters the model via the uncertain spo...
Ronald Hochreiter, Georg Ch. Pflug, David Wozabal