800 search results - page 83 / 160 » Programming Models for Concurrency and Real-Time |
ESWA
2006
15 years 1 months ago
2006
This paper investigates how to estimate the likelihood of a customer accepting a loan offer as a function of the offer parameters and how to choose the optimal set of parameters f...
118
click to vote
RTCSA
2006
IEEE
15 years 7 months ago
2006
IEEE
In this paper, we present a model-driven approach to RTOS-based embedded software development and an automated tool that can produce RTOS-specific code. Our contributions are two ...
102
click to vote
CONCURRENCY
2008
15 years 1 months ago
2008
In this paper, we present a Grid computing platform that provides experimental scientists and analysts with access to computational simulations and knowledge databases hosted in s...
123
click to vote
DC
2010
15 years 1 months ago
2010
Model checking software transactional memories (STMs) is difficult because of the unbounded number, length, and delay of concurrent transactions and the unbounded size of the memo...
141
click to vote
DAC
2007
ACM
16 years 2 months ago
2007
ACM
This paper argues for an implicitly parallel programming model for many-core microprocessors, and provides initial technical approaches towards this goal. In an implicitly paralle...