1980 search results - page 327 / 396 » Compositional Model Checking of Real Time Systems |
159
click to vote
SI3D
1999
ACM
15 years 10 months ago
1999
ACM
A rendering is an abstraction that favors, preserves, or even emphasizes some qualities while sacrificing, suppressing, or omitting other characteristics that are not the focus o...
181
click to vote
PERCOM
2010
ACM
15 years 4 months ago
2010
ACM
Abstract—Tiny, wireless, sensors embedded in a large number of Internet-capable devices–smart phones, cameras, cars, toys, medical instruments, home appliances and energy meter...
175
click to vote
RTCSA
2005
IEEE
15 years 11 months ago
2005
IEEE
Location based services are becoming essential feature of context-awareness in ubiquitous computing. Reflective distribute component programming model is proposed to systematicall...
159
click to vote
IPPS
2008
IEEE
16 years 16 days ago
2008
IEEE
This paper addresses nonclairvoyant and nonpreemptive online job scheduling in Grids. In the applied basic model, the Grid system consists of a large number of identical processor...
162
click to vote
ISCAS
2007
IEEE
16 years 12 days ago
2007
IEEE
— This paper describes the hardware architecture for a flexible probability density estimation unit to be used in a Large Vocabulary Speech Recognition System, and targeted for m...