2624 search results - page 303 / 525 » The 2LIP model and its implementations |
ERSHOV
2003
Springer
15 years 5 months ago
2003
Springer
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...
86
Voted
CLUSTER
2002
IEEE
15 years 5 months ago
2002
IEEE
High speed bulk data transfer is an important part of many data-intensive scientific applications. This paper describes an aggressive bulk data transfer scheme, called Reliable Bl...
104
Voted
ICRA
2000
IEEE
15 years 5 months ago
2000
IEEE
The locomotor controller for walking, running, swimming, and flying animals is based on a Central Pattern Generator (CPG). Models of CPGs as systems of coupled non-linear oscillato...
ICTAI
2008
IEEE
15 years 7 months ago
2008
IEEE
A fundamental challenge that must be met to achieve a usable conversational interface to Geographic Information System (GIS) is how to enable a more natural interaction between th...
94
Voted
CAV
2007
Springer
15 years 6 months ago
2007
Springer
Programs typically make extensive use of libraries, including dynamically linked libraries, which are often not available in source-code form, and hence not analyzable by tools tha...