Sciweavers

3387 search results - page 205 / 678
» Automating the Metamodeling Process
Sort
View
LICS
2007
IEEE
16 years 9 days ago
Limits of Multi-Discounted Markov Decision Processes
Markov decision processes (MDPs) are controllable discrete event systems with stochastic transitions. The payoff received by the controller can be evaluated in different ways, dep...
Hugo Gimbert, Wieslaw Zielonka
ASPDAC
2006
ACM
109views Hardware» more  ASPDAC 2006»
16 years 1 hour ago
Energy savings through embedded processing on disk system
Abstract— Many of today’s data-intensive applications manipulate disk-resident data sets. As a result, their overall behavior is tightly coupled with their disk performance. Un...
Seung Woo Son, Guangyu Chen, Mahmut T. Kandemir, F...
ERLANG
2004
ACM
15 years 11 months ago
Structured programming using processes
Structured Programming techniques are applied to a personal accounting software application implemented in erlang as a demonstration of the utility of processes as design construc...
Jay Nelson
NIME
2004
Springer
125views Music» more  NIME 2004»
15 years 11 months ago
Techniques for Multi-Channel Real-Time Spatial Distribution Using Frequency-Domain Processing
The authors have developed several methods for spatially distributing spectral material in real-time using frequency-domain processing. Applying spectral spatialization techniques...
Ryan H. Torchia, Cort Lippe
RTSS
1994
IEEE
15 years 10 months ago
Guaranteeing End-to-End Timing Constraints by Calibrating Intermediate Processes
This paper presents a comprehensive design methodology for guaranteeing end-to-end requirements of real-time systems. Applications are structured as a set of process components co...
Richard Gerber, Seongsoo Hong, Manas Saksena