1181 search results - page 150 / 237 » UMTS MPSoC design evaluation using a system level design fra... |
ICSM
2007
IEEE
14 years 2 months ago
2007
IEEE
Many small and medium-sized systems have little or no design documentation, which makes program understanding during maintenance enormously more difficult when performed by outsi...
LICS
1996
IEEE
14 years 3 days ago
1996
IEEE
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...
HASE
2008
IEEE
14 years 2 months ago
2008
IEEE
With the increasing complexity in software and electronics in safety-critical systems new challenges to lower the costs and decrease time-to-market, while preserving high assuranc...
VTC
2006
IEEE
14 years 1 months ago
2006
IEEE
In this study, a new physical layer transmission technique is proposed with the spectrum efficiency up to two times of that of the Eureka-147 DAB system. The proposed technique com...
AAAI
2007
13 years 10 months ago
2007
A major challenge in robotics and artificial intelligence lies in creating robots that are to cooperate with people in human-populated environments, e.g. for domestic assistance ...