4693 search results - page 807 / 939 » Verifying Hybrid Systems |
153
Voted
ICRA
2005
IEEE
15 years 10 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...
155
click to vote
IEEECIT
2005
IEEE
15 years 10 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...
143
Voted
INFOCOM
2005
IEEE
15 years 10 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...
157
Voted
NDSS
2005
IEEE
15 years 10 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 ...
137
Voted
PDP
2005
IEEE
15 years 10 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...