2067 search results - page 359 / 414 » Logics of propositional control |
177
click to vote
RTCSA
2008
IEEE
16 years 20 days ago
2008
IEEE
A component framework plays an important role in CBSD as it determines how software components are developed, packaged, assembled and deployed. A desirable component framework for...
192
click to vote
RTCSA
2008
IEEE
16 years 20 days ago
2008
IEEE
The demand for real-time data services in embedded systems is increasing. In these new computing platforms, using traditional buffer management schemes, whose goal is to minimize ...
183
click to vote
RTSS
2008
IEEE
16 years 20 days ago
2008
IEEE
This paper presents algorithms that (1) facilitate systemindependent synthesis of timing-interfaces for subsystems and (2) system-level selection of interfaces to minimize CPU loa...
170
click to vote
AINA
2007
IEEE
16 years 19 days ago
2007
IEEE
— This paper presents a computing model for resource-limited mobile devices that might be ubiquitously deployed in private and business environments. The model integrates a stron...
149
click to vote
DATE
2007
IEEE
16 years 19 days ago
2007
IEEE
The ability to guarantee the functional correctness of digital integrated circuits and, in particular, complex microprocessors, is a key task in the production of secure and trust...