5235 search results - page 277 / 1047 » Analysis of Multithreaded Programs |
158
click to vote
CIKM
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents an interactive visualization toolkit for navigating and analyzing the National Science Foundation (NSF) funding information. Our design builds upon an improved...
178
click to vote
ICST
2010
IEEE
15 years 5 months ago
2010
IEEE
—Although many static-analysis techniques have been developed for automatically detecting bugs, such as null dereferences, fewer automated approaches have been presented for anal...
210
click to vote
UIST
2010
ACM
15 years 4 months ago
2010
ACM
We present Gestalt, a development environment designed to support the process of applying machine learning. While traditional programming environments focus on source code, we exp...
164
click to vote
IFIP
2010
Springer
15 years 1 months ago
2010
Springer
We present a new approach to information flow control (IFC), ploits counterexample-guided abstraction refinement (CEGAR) technology. The CEGAR process is built on top of our existi...
191
click to vote
ISSS
2000
IEEE
15 years 11 months ago
2000
IEEE
Timing and power consumption of embedded systems are state and input data dependent. Formal analysis of such dependencies leads to intervals rather than single values. These inter...