Sciweavers

4460 search results - page 587 / 892
» Resources in process algebra
Sort
View
177
Voted
ISCAS
2002
IEEE
92views Hardware» more  ISCAS 2002»
15 years 11 months ago
Low cost floating-point unit design for audio applications
This paper presents a low-cost, single-cycle floating-point unit developed for digital audio processing applications. In the unit, the serial steps of floating-point operations ar...
Sung-Won Lee, In-Cheol Park
PRDC
2002
IEEE
15 years 11 months ago
Reliability Analysis of Grid Computing Systems
Grid computing system is different from conventional distributed computing systems by its focus on large-scale resource sharing, where processors and communication have significan...
Y. S. Dai, Min Xie, Kim-Leng Poh
WISE
2002
Springer
15 years 11 months ago
An XML Specification Language to Support a Virtual Marketplace of Data Mining E-Services
The emergence of Application Service Providers (ASP) hosting Internet-based data mining services is being seen as a viable alternative for organisations that value their knowledge...
Shonali Krishnaswamy, E. P. See, J. N. Ho, W. Guna...
175
Voted
CAV
2009
Springer
116views Hardware» more  CAV 2009»
15 years 11 months ago
Priority Scheduling of Distributed Systems Based on Model Checking
Priorities are used to control the execution of systems to meet given requirements for optimal use of resources, e.g., by using scheduling policies. For distributed systems, it is ...
Ananda Basu, Saddek Bensalem, Doron Peled, Joseph ...
GECON
2009
Springer
144views Business» more  GECON 2009»
15 years 11 months ago
A Framework for Analyzing the Economics of a Market for Grid Services
This paper provides a single broad model for the analysis of a range of issues underlying a market for Grid services. The demand and the supply sides of such a market are being tre...
Robin Mason, Costas Courcoubetis, Natalia Miliou