327 search results - page 35 / 66 » Trace register allocation |
APN
2001
Springer
15 years 2 months ago
2001
Springer
We address the verification of programmable logic controllers (PLC). In our approach, a PLC program is translated into a special type of colored Petri net, a so-called register net...
108
click to vote
CCGRID
2006
IEEE
15 years 29 days ago
2006
IEEE
In this paper, we propose a novel resource scheduling strategy, referred to as the Multi-Resource Scheduling (MRS) algorithm, which is capable of handling several resources to be u...
GPC
2007
Springer
15 years 5 months ago
2007
Springer
A grid has to provide strong incentive for participating sites to join and stay in it. Participating sites are concerned with the performance improvement brought by the gird for th...
DAC
1997
ACM
15 years 3 months ago
1997
ACM
—Many application-specific architectures provide indirect addressing modes with auto-increment/decrement arithmetic. Since these architectures generally do not feature an indexe...
GLVLSI
2007
IEEE
15 years 2 months ago
2007
IEEE
This paper describes a formal verification methodology of highnthesis (HLS) process. The abstraction level of the input to HLS is so high compared to that of the output that the v...