4770 search results - page 373 / 954 » Using System-on-a-Programmable-Chip Technology to Design Emb... |
182
click to vote
HYBRID
1994
Springer
15 years 11 months ago
1994
Springer
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
186
click to vote
HOTOS
2009
IEEE
15 years 10 months ago
2009
IEEE
Distributed systems are difficult to design and develop. The difficulties arise both in basic safety correctness properties, and in achieving high performance. As a result of this...
178
click to vote
GLVLSI
2006
IEEE
16 years 27 days ago
2006
IEEE
In this paper we propose a hardware real time operating system (HW-RTOS) solution that makes use of a dedicated hardware in order to replace the standard support provided by the P...
189
Voted
HICSS
2003
IEEE
16 years 4 days ago
2003
IEEE
An increasing number of Web-based systems, including brainstorming, decision-making, and negotiation support systems, are being developed to aid users in solving particular types ...
168
click to vote
ISLPED
2003
ACM
16 years 3 days ago
2003
ACM
Memory systems consume a significant portion of power in handheld embedded systems. So far, low-power memory techniques have addressed the power consumption when the system is tu...