494 search results - page 47 / 99 » Real-Time and Hybrid Systems Testing |
RTSS
2007
IEEE
15 years 4 months ago
2007
IEEE
In the last years, a progressive migration from single processor chips to multi-core computing devices has taken place in the general-purpose and embedded system market. The devel...
IJCIA
2008
14 years 9 months ago
2008
Abstract: While code division multiple access (CDMA) is becoming a promising cellular communication system, the design for a CDMA cellular system configuration has posed a practica...
CAV
2008
Springer
14 years 11 months ago
2008
Springer
We propose a type system for lock-freedom in the -calculus, which guarantees that certain communications will eventually succeed. Distinguishing features of our type system are: it...
185
click to vote
PERVASIVE
2011
Springer
14 years 18 days ago
2011
Springer
Abstract. In this paper, we introduce CityCompiler, an integrated environment for the iteration-based development of spatial interactive systems. CityCompiler visualizes interactiv...
114
click to vote
ICDE
2007
IEEE
14 years 11 months ago
2007
IEEE
The goal of the work in this paper is towards the incorporation of context in recommender systems in the domain of mobile applications. The approach recommends mobile applications...