Sciweavers

1982 search results - page 129 / 397
» Designing Efficient Distributed Algorithms Using Sampling Te...
Sort
View
ICDCS
2010
IEEE
15 years 5 months ago
Efficient Workstealing for Multicore Event-Driven Systems
Many high-performance communicating systems are designed using the event-driven paradigm. As multicore platforms are now pervasive, it becomes crucial for such systems to take adva...
Fabien Gaud, Sylvain Geneves, Renaud Lachaize, Bap...
COCOA
2009
Springer
15 years 10 months ago
Matching Techniques Ride to Rescue OLED Displays
Combinatorial optimization problems have recently emerged in the design of controllers for OLED displays. The objective is to decompose an image into subframes minimizing the addre...
Andreas Karrenbauer
ICIW
2007
IEEE
15 years 10 months ago
Towards Semantically-Enhanced Distributed Service Discovery
—In this paper, we present a new approach for service discovery combining semantic web and peer-to-peer techniques. A reference ontology is used to describe and discover services...
Raphael Romeikat, Bernhard Bauer
SBMF
2010
Springer
205views Formal Methods» more  SBMF 2010»
14 years 11 months ago
A High-Level Language for Modeling Algorithms and Their Properties
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
Sabina Akhtar, Stephan Merz, Martin Quinson
145
Voted
EUC
2008
Springer
15 years 5 months ago
Scheduling Aperiodic Tasks Using Total Bandwidth Server on Multiprocessors
This paper presents real-time scheduling techniques for reducing the response time of aperiodic tasks scheduled with real-time periodic tasks on multiprocessor systems. Two proble...
Shinpei Kato, Nobuyuki Yamasaki