2153 search results - page 431 / 431 » From Requirements Models to Formal Specifications in B |
JSA
2007
13 years 4 months ago
2007
Mapping of applications on a Multiprocessor System-on-Chip (MP-SoC) is a crucial step to optimize performance, energy and memory constraints at the same time. The problem is formu...
IJAIT
2002
13 years 4 months ago
2002
The number and size of information services available on the internet has been growing exponentially over the past few years. This growth has created an urgent need for information...
MOBISYS
2010
ACM
13 years 6 months ago
2010
ACM
We investigate if WiFi access can be used to augment 3G capacity in mobile environments. We first conduct a detailed study of 3G and WiFi access from moving vehicles, in three dif...