1304 search results - page 188 / 261 » RTOS Modeling for System Level Design |
117
click to vote
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
Due to fundamental physical limitations and power constraints, we are witnessing a radical change in commodity microprocessor architectures to multicore designs. Continued perform...
117
click to vote
FM
2005
Springer
15 years 8 months ago
2005
Springer
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...
144
click to vote
MOBIWAC
2006
ACM
15 years 9 months ago
2006
ACM
Authors presented recently an indoor location technique based on Time Of Arrival (TOA) obtained from Round-Trip-Time (RTT) measurements at data link level and trilateration. This ...
139
click to vote
AGS
2009
Springer
15 years 9 months ago
2009
Springer
We propose a novel approach to intelligent tutoring gaming simulations designed for both educational and inquiry purposes in complex multi-actor systems such as infrastructures or...
143
click to vote
CODES
2009
IEEE
15 years 9 months ago
2009
IEEE
A growing number of applications, with diverse requirements, are integrated on the same System on Chip (SoC) in the form of hardware and software Intellectual Property (IP). The d...