Sciweavers

2047 search results - page 267 / 410
» Interactive Immersive Design Application: Analysis of Requir...
Sort
View
CODES
2007
IEEE
15 years 10 months ago
A computational reflection mechanism to support platform debugging in SystemC
System-level and Platform-based design, along with Transaction Level modeling (TLM) techniques and languages like SystemC, appeared as a response to the ever increasing complexity...
Bruno Albertini, Sandro Rigo, Guido Araujo, Cristi...
SPIN
2010
Springer
15 years 4 months ago
Combining SPIN with ns-2 for Protocol Optimization
In the field of communication networks, protocol engineers usually employ several tools focused on specific kinds of analysis, such as performance or correctness. This paper pres...
Pedro Merino, Alberto Salmeron
ICNP
2002
IEEE
15 years 11 months ago
A Theory of Window-Based Unicast Congestion Control
This work presents a comprehensive theoretical framework for window-based congestion control protocols that are designed to converge to fairness and efficiency. We first derive ...
Nishanth R. Sastry, Simon S. Lam
INFOCOM
2002
IEEE
15 years 11 months ago
A Robust Acknowledgement Scheme for Unreliable Flows
Abstract—The increasing presence of UDP traffic in the Internet and the emergence of sensing applications which do not require full reliability motivates the search for a robust...
Hoi-sheung Wilson So, Ye Xia, Jean C. Walrand
ICRA
1994
IEEE
84views Robotics» more  ICRA 1994»
15 years 10 months ago
Mapping Tasks into Fault Tolerant Manipulators
The application of robots in critical missions in hazardous environments requires the development of reliable or fault tolerant manipulators. In this paper, we define fault tolera...
Christiaan J. J. Paredis, Pradeep K. Khosla