1536 search results - page 238 / 308 » The Underlying Logic of Hoare Logic |
176
click to vote
RTCSA
2008
IEEE
16 years 17 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...
189
click to vote
RTCSA
2008
IEEE
16 years 17 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 ...
166
click to vote
TIME
2008
IEEE
16 years 16 days ago
2008
IEEE
The movement in public transport networks is organized according to schedules. The real-world schedules are specified by a set of periodic rules and a number of irregularities fr...
170
click to vote
AINA
2007
IEEE
16 years 16 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...
146
click to vote
DATE
2007
IEEE
16 years 15 days ago
2007
IEEE
—Increasing power density causes die overheating due to limited cooling capacity of the package. Conventional thermal management techniques e.g. logic shutdown, clock gating, fre...