4693 search results - page 807 / 939 » Verifying Hybrid Systems |
116
Voted
ICRA
2005
IEEE
15 years 6 months ago
2005
IEEE
— Recently, there has been a growing interest in biologically inspired biped locomotion control with Central Pattern Generator (CPG). However, few experimental attempts on real h...
114
Voted
IEEECIT
2005
IEEE
15 years 6 months ago
2005
IEEE
In embedded systems, performance and power are important inter-related issues that cannot be decoupled. Expensive and extensive simulations in a processor design space are usually...
106
Voted
INFOCOM
2005
IEEE
15 years 6 months ago
2005
IEEE
— In this paper, we study the interaction between overlay routing and Traffic Engineering (TE) in a single Autonomous System (AS). We formulate this interaction as a twoplayer n...
117
Voted
NDSS
2005
IEEE
15 years 6 months ago
2005
IEEE
The Border Gateway Protocol (BGP) is an IETF standard inter-domain routing protocol on the Internet. However, it is well known that BGP is vulnerable to a variety of attacks, and ...
101
Voted
PDP
2005
IEEE
15 years 6 months ago
2005
IEEE
In this paper we present a methodology to analyze the behavior and performance of Java application servers using a performance analysis framework. This framework considers all lev...