Sciweavers

10910 search results - page 310 / 2182
» Input modeling using a computer algebra system
Sort
View
GCC
2003
Springer
15 years 12 months ago
Modeling Distributed Algorithm Using B
Although there have been several attempts to create grid systems, there is no clear definition for grids. In this paper, a formal approach is presented for defining elementary func...
Shengrong Zou
OSDI
2008
ACM
16 years 7 months ago
Run-time Energy Consumption Estimation Based on Workload in Server Systems
This paper proposes to develop a system-wide energy consumption model for servers by making use of hardware performance counters and experimental measurements. We develop a real-t...
Adam Lewis, Soumik Ghosh, Nian-Feng Tzeng
HICSS
2005
IEEE
149views Biometrics» more  HICSS 2005»
16 years 7 days ago
ubiES: An Intelligent Expert System for Proactive Services Deploying Ubiquitous Computing Technologies
Expert systems are originally designed to generate feasible alternatives in automated manner. The users expect the systems to contribute to make decisions proactively and intellig...
Ohbyung Kwon, Keedong Yoo, Euiho Suh
COLING
2002
15 years 6 months ago
Data-driven Classification of Linguistic Styles in Spoken Dialogues
Language users have individual linguistic styles. A spoken dialogue system may benefit from adapting to the linguistic style of a user in input analysis and output generation. To ...
Thomas Portele
P2P
2006
IEEE
153views Communications» more  P2P 2006»
16 years 20 days ago
Internet-Scale Storage Systems under Churn -- A Study of the Steady-State using Markov Models
Content storage in a distributed collaborative environment uses redundancy for better resilience and thus provides good availability and durability. In a peer-to-peer environment,...
Anwitaman Datta, Karl Aberer