Sciweavers

2470 search results - page 112 / 494
» Liveness-Preserving Simulation Relations
Sort
View
COMCOM
2006
140views more  COMCOM 2006»
15 years 4 months ago
A combined delay and throughput proportional scheduling scheme for differentiated services
Abstract--The proportional differentiation model is a newly introduced approach for differentiated services networks. This paper proposes and evaluates a scheduling mechanism for t...
Ahmed E. Kamal, Samyukta Sankaran
JCP
2008
155views more  JCP 2008»
15 years 4 months ago
Algorithm to Optimize Code Size and Energy Consumption in Real Time Embedded System
Processor is an important computing element in portable battery operated real time embedded system and it consumes most of the battery energy. Energy consumption, processor memory ...
Santosh D. Chede, Kishore D. Kulat
JSW
2007
126views more  JSW 2007»
15 years 4 months ago
On Remote and Virtual Experiments in eLearning
— The science of physics is based on theories and models as well as experiments: the former structure relations and simplify reality to a degree such that predictions on physical...
Sabina Jeschke, Harald Scheel, Thomas Richter, Chr...
CDC
2010
IEEE
154views Control Systems» more  CDC 2010»
14 years 11 months ago
Multi-robot SLAM using M-Space feature representation
This paper presents a SLAM algorithm for a team of mobile robots exploring an indoor environment, described by adopting the M-Space representation of linear features. Each robot so...
Daniele Benedettelli, Andrea Garulli, Antonio Gian...
WOSS
2004
ACM
15 years 9 months ago
Architecture differencing for self management
Traditionally, software models are associated with development and maintenance related activities. This paper demonstrates that models also serve a vital purpose in supporting the...
Alexander Egyed