Sciweavers

728 search results - page 22 / 146
» ideas 2009
Sort
View
WETICE
2009
IEEE
14 years 3 months ago
Smart Metering the Clouds
— As cloud computing becomes increasingly pervasive, the data center energy consumption attributable to cloud computing is climbing, despite the clarion call of action to reduce ...
Tarry Singh, Pavan Kuman Vara
RTSS
2009
IEEE
14 years 3 months ago
Gang EDF Scheduling of Parallel Task Systems
The preemptive real-time scheduling of sporadic parallel task systems is studied. We present an algorithm, called Gang EDF, which applies the Earliest Deadline First (EDF) policy ...
Shinpei Kato, Yutaka Ishikawa
CALCO
2009
Springer
150views Mathematics» more  CALCO 2009»
14 years 3 months ago
Approximating Labelled Markov Processes Again!
Abstract. Labelled Markov processes are continuous-state fully probabilistic labelled transition systems. They can be seen as co-algebras of a suitable monad on the category of mea...
Philippe Chaput, Vincent Danos, Prakash Panangaden...
ICAIL
2009
ACM
14 years 3 months ago
Creating an argumentation corpus: do theories apply to real arguments?: a case study on the legal argumentation of the ECHR
Argumentation annotation is a crucial step in applying machine learning techniques to the argumentation field. However, there exist few argumentation corpora and their developmen...
Raquel Mochales Palau, Aagje Ieven
MFCS
2009
Springer
14 years 1 months ago
Representing Groups on Graphs
In this paper we first explore the group theoretic techniques developed for graph isomorphism. We specifically discuss the techniques developed by Luks for solving constrained v...
Sagarmoy Dutta, Piyush P. Kurur