253 search results - page 31 / 51 » Processor Models for Retargetable Tools |
CAV
2010
Springer
15 years 3 months ago
2010
Springer
We present a class of relaxed memory models, defined in Coq, parameterised by the chosen permitted local reorderings of reads and writes, and the visibility of inter- and intra-pr...
DATE
2006
IEEE
15 years 5 months ago
2006
IEEE
Sensor networks are emerging wireless technologies; their integration with the existing 2.5G, 3G mobile networks is a key issue to provide advanced services, e.g., health control....
SIGADA
2004
Springer
15 years 5 months ago
2004
Springer
System and software development has become an increasingly complex science. With so many emerging devices, processors, systems specification languages, software implementation lan...
DATE
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper presents VISTA, a new methodology and tool dedicated to analyse system level performance by executing full-scale SW application code on a transaction-level model of the...
105
click to vote
HPCN
1998
Springer
15 years 4 months ago
1998
Springer
Unstructured grids can represent the complex geometry of the ocean basin with high delity. The lack of development tools supporting irregular grid problems discourages the use of ...