10159 search results - page 1717 / 2032 » System Design Validation Using Formal Models |
222
click to vote
EXPERT
2000
15 years 6 months ago
2000
In 1993 our group at the MIT Artificial Intelligence Laboratory began a humanoid robotics project aimed at constructing a robot for use in exploring theories of human intelligence...
159
click to vote
SIMULATION
2002
15 years 6 months ago
2002
Trend is a two dimensional cellular automata programming environment with an integrated simulator and a compiler. Trend has many unique features such as simulation backtracking, c...
215
click to vote
OSN
2011
15 years 1 months ago
2011
—Different physical impairments can occur in optical transmission systems. Impairments such as fiber nonlinear effects are dependent on network state and vary with traffic and to...
227
click to vote
ISPA
2004
Springer
16 years 2 days ago
2004
Springer
Static DHT topologies influence important features of such DHTs such as scalability, communication load balancing, routing efficiency and fault tolerance. Nevertheless, it is co...
193
click to vote
JSAC
2007
15 years 6 months ago
2007
— We consider the design of Tomlinson-Harashima (TH) precoders for broadcast channels in the presence of channel uncertainty. For systems in which uplink-downlink reciprocity is ...