Sciweavers

64 search results - page 10 / 13
» New Dynamic Heuristics in the Client-Agent-Server Model
Sort
View
ICDM
2010
IEEE
193views Data Mining» more  ICDM 2010»
13 years 6 months ago
Supervised Link Prediction Using Multiple Sources
Link prediction is a fundamental problem in social network analysis and modern-day commercial applications such as Facebook and Myspace. Most existing research approaches this pro...
Zhengdong Lu, Berkant Savas, Wei Tang, Inderjit S....
WIOPT
2010
IEEE
13 years 6 months ago
Energy efficient scheduling with power control for wireless networks
Scheduling of transmissions is one of the most fundamental problems in the context of wireless networks. In this article, we consider the problem of computing power efficient sched...
Bastian Katz, Markus Völker, Dorothea Wagner
ICCD
2007
IEEE
109views Hardware» more  ICCD 2007»
14 years 13 days ago
Improving cache efficiency via resizing + remapping
In this paper we propose techniques to dynamically downsize or upsize a cache accompanied by cache set/line shutdown to produce efficient caches. Unlike previous approaches, resiz...
Subramanian Ramaswamy, Sudhakar Yalamanchili
CAV
2001
Springer
107views Hardware» more  CAV 2001»
14 years 1 months ago
Job-Shop Scheduling Using Timed Automata
In this paper we show how the classical job-shop scheduling problem can be modeled as a special class of acyclic timed automata. Finding an optimal schedule corresponds, then, to n...
Yasmina Abdeddaïm, Oded Maler
SPIN
2004
Springer
14 years 1 months ago
Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
Peter Leven, Tilman Mehler, Stefan Edelkamp