Sciweavers

471 search results - page 80 / 95
» Exploration of Simulation Experiments by Discovery
Sort
View
SPAA
2010
ACM
14 years 21 days ago
Simplifying concurrent algorithms by exploiting hardware transactional memory
We explore the potential of hardware transactional memory (HTM) to improve concurrent algorithms. We illustrate a number of use cases in which HTM enables significantly simpler c...
Dave Dice, Yossi Lev, Virendra J. Marathe, Mark Mo...
UML
2001
Springer
14 years 9 days ago
Formalization of UML-Statecharts
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...
Michael von der Beeck
RTSS
2000
IEEE
14 years 7 days ago
An Incremental Approach to Scheduling during Overloads in Real-Time Systems
In this paper we propose a novel scheduling framework for a real-timeenvironmentthat experiences dynamic changes. Thisframework is capable of adjusting the system workload in incr...
Pedro Mejía-Alvarez, Rami G. Melhem, Daniel...
SIGCOMM
2000
ACM
14 years 7 days ago
Equation-based congestion control for unicast applications
This paper proposes a mechanism for equation-based congestion control for unicast traffic. Most best-effort traffic in the current Internet is well-served by the dominant transp...
Sally Floyd, Mark Handley, Jitendra Padhye, Jö...
ICRA
1999
IEEE
133views Robotics» more  ICRA 1999»
14 years 5 days ago
An Autonomous Sensor-Based Path-Planner for Planetary Microrovers
With the success of Mars Pathfinder's Sojourner rover, a new era of planetary exploration has opened, with demand for highly capable mobile robots. These robots must be able ...
Sharon L. Laubach, Joel W. Burdick