2520 search results - page 353 / 504 » Model-checking behavioral programs |
HPCA
2005
IEEE
16 years 2 months ago
2005
IEEE
Most programs are repetitive, where similar behavior can be seen at different execution times. Proposed on-line systems automatically group these similar intervals of execution in...
100
click to vote
HPCA
2001
IEEE
16 years 2 months ago
2001
IEEE
The use of the Java programming language for implementing server-side application logic is increasing in popularity, yet there is very little known about the architectural require...
208
click to vote
SIGMOD
2005
ACM
16 years 2 months ago
2005
ACM
We describe an approach for pipelining nested data collections in scientific workflows. Our approach logically delimits arbitrarily nested collections of data tokens using special...
131
click to vote
ICSM
2009
IEEE
15 years 9 months ago
2009
IEEE
Mainstream IDEs such as Eclipse support developers in managing software projects mainly by offering static views of the source code. Such a static perspective neglects any informa...
122
click to vote
ICST
2009
IEEE
15 years 9 months ago
2009
IEEE
Vulnerability discovery rates need to be taken into account for evaluating security risks. Accurate projection of these rates is required to estimate the effort needed to develop ...