Sciweavers

16190 search results - page 2674 / 3238
» Applicative programming with effects
Sort
View
DSN
2005
IEEE
15 years 9 months ago
A Wavefront Parallelisation of CTMC Solution Using MTBDDs
In this paper, we present a parallel implementation for the steady-state analysis of continuous-time Markov chains (CTMCs). This analysis is performed via solution of a linear equ...
Yi Zhang, David Parker, Marta Z. Kwiatkowska
ECRTS
2005
IEEE
15 years 9 months ago
Scheduling Tasks with Markov-Chain Based Constraints
Markov-Chain (MC) based constraints have been shown to be an effective QoS measure for a class of real-time systems, particularly those arising from control applications. Scheduli...
Donglin Liu, Xiaobo Sharon Hu, Michael D. Lemmon, ...
ECRTS
2005
IEEE
15 years 9 months ago
Improved Schedulability Analysis of EDF on Multiprocessor Platforms
Multiprocessor hardware platforms are now being considered for embedded systems, due to their high computational power and little additional cost when compared to single processor...
Marko Bertogna, Michele Cirinei, Giuseppe Lipari
HICSS
2005
IEEE
120views Biometrics» more  HICSS 2005»
15 years 9 months ago
User Motivation and Persuasion Strategy for Peer-to-Peer Communities
In recent years, peer-to-peer systems have become more and more popular, especially with some successful applications like Napter, Kazaa and edoney. However, how to motivate user ...
Ran Cheng, Julita Vassileva
HICSS
2005
IEEE
99views Biometrics» more  HICSS 2005»
15 years 9 months ago
Impacts of Vertical IS Standards: The Case of the US Home Mortgage Industry
Vertical IS standards prescribe data structures and definitions, document formats, and business processes for particular industries, in contrast to horizontal IT standards, which ...
Rolf T. Wigand, Charles W. Steinfield, M. Lynne Ma...
« Prev « First page 2674 / 3238 Last » Next »