3256 search results - page 225 / 652 » Integrated Environment for Embedded Control Systems Design |
102
click to vote
VTC
2007
IEEE
15 years 10 months ago
2007
IEEE
– Traffic coordination in intersections is a very studied and challenging topic. This paper presents an adaptive traffic light system based on wireless communication between vehi...
131
click to vote
ISORC
2008
IEEE
15 years 10 months ago
2008
IEEE
—An increasing number of real-time systems are embedded in mission critical systems such as target tracking systems, in which workloads may dynamically vary, for example, dependi...
143
click to vote
ICRA
1999
IEEE
15 years 8 months ago
1999
IEEE
A high performance six degree-of-freedom magnetic levitation haptic interface device has been integrated with a physically-based dynamic rigid-body simulation to enable realistic ...
128
click to vote
MSE
2005
IEEE
15 years 9 months ago
2005
IEEE
The fast growing complexity and short time-tomarket of embedded systems designs, besides the great increase in capacity of today’s chips, are mobilizing the industry towards to ...
286
click to vote
PLDI
2009
ACM
16 years 4 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....