Sciweavers

3156 search results - page 363 / 632
» An address translation simulator
Sort
View
IPPS
2008
IEEE
16 years 1 months ago
Modeling and analysis of power in multicore network processors
With the emergence of multicore network processors in support of high-performance computing and networking applications, power consumption has become a problem of increasing signi...
S. Huang, Y. Luo, W. Feng
ICRA
2007
IEEE
154views Robotics» more  ICRA 2007»
16 years 1 months ago
Path Planning for Planetary Exploration Rovers and Its Evaluation based on Wheel Slip Dynamics
— In this paper, a path planning and its evaluation method is described with taking into account wheel slip dynamics of lunar/planetary exploration rovers. The surface of the pla...
Genya Ishigami, Keiji Nagatani, Kazuya Yoshida
RSP
2007
IEEE
139views Control Systems» more  RSP 2007»
16 years 29 days ago
Verifying Distributed Protocols using MSC-Assertions, Run-time Monitoring, and Automatic Test Generation
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
Doron Drusinsky, Man-tak Shing
PERVASIVE
2007
Springer
16 years 24 days ago
Objects Calling Home: Locating Objects Using Mobile Phones
Locating physical items is a highly relevant application addressed by numerous systems. Many of these systems share the drawback that costly infrastructure must be installed before...
Christian Frank, Philipp Bolliger, Christof Rodune...
GLOBECOM
2006
IEEE
16 years 22 days ago
Connection Preemption in Multi-Class Networks
— We address the problem of connection preemption in a multi-class network environment. Our objective is: i) to minimize the number of preempted connections, and ii) to minimize ...
Fahad Rafique Dogar, Laeeq Aslam, Zartash Afzal Uz...