2947 search results - page 154 / 590 » Analyzing Program Analyses |
167
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Quantum computer programming is emerging as a new subject domain from multidisciplinary research in quantum computing, computer science, mathematics (especially quantum logic, lamb...
192
click to vote
ESOP
2011
Springer
14 years 9 months ago
2011
Springer
We present a static analysis by Abstract Interpretation to check for run-time errors in parallel C programs. Following our work on Astr´ee, we focus on embedded critical programs ...
150
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Foundational and scalable techniques for runtime safety analysis of multithreaded programs are explored in this paper. A technique based on vector clocks to extract the causal dep...
143
click to vote
SIGCSE
2005
ACM
15 years 11 months ago
2005
ACM
Many instructors use program runtimes to illustrate and reinforce algorithm complexity concepts. Hardware, operating system and compilers have historically influenced runtime resu...
150
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Telemedicine development in Taiwan has proliferated considerably since the 1990s, as manifested by its inclusion as a core application area in the National Infrastructure Initiati...