12032 search results - page 2258 / 2407 » Simulation of Manufacturing Systems |
143
click to vote
ROBOCOMM
2007
IEEE
15 years 10 months ago
2007
IEEE
—A self-reconfigurable robot is a robotic device that can change its own shape. Self-reconfigurable robots are commonly built from multiple identical modules that can manipulat...
143
click to vote
VTC
2007
IEEE
15 years 10 months ago
2007
IEEE
— Hydra is a flexible wireless network testbed being developed at UT Austin. Our focus is networks that support multiple wireless hops and where the network, especially the MAC,...
149
click to vote
VTC
2007
IEEE
15 years 10 months ago
2007
IEEE
— A very promising way to achieve high spectral efficiency in wireless communication is the use of multiple transmit and receive antennas. However, in combination with multicarr...
171
click to vote
AB
2007
Springer
15 years 10 months ago
2007
Springer
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...
143
Voted
CDVE
2007
Springer
15 years 10 months ago
2007
Springer
In order to build complex, large-scale, dependable systems it is necessary to use a development environment with an integrated set of capabilities that supports editing and formal...