6960 search results - page 378 / 1392 » Continuity Analysis of Programs |
133
click to vote
APVIS
2008
15 years 6 months ago
2008
This paper presents an interactive visualization toolkit for navigating and analyzing the National Science Foundation (NSF) funding information. Our design builds upon the treemap...
114
click to vote
JIKM
2007
15 years 4 months ago
2007
This paper presents the role of an innovative university masters’ degree program as a basis for skills development in human capital analysis for finance and business students in...
222
click to vote
ISOLA
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The Implicit Path Enumeration Technique (IPET) has become widely accepted as a powerful technique to compute upper bounds on the Worst-Case Execution Time (WCET) of time-...
172
click to vote
WCET
2010
15 years 2 months ago
2010
Safe and tight worst-case execution times (WCETs) are important when scheduling hard realtime systems. This paper presents METAMOC, a modular method, based on model checking and s...
271
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
ibe an abstract interpretation based framework for proving relationships between sizes of memory partitions. Instances of this framework can prove traditional properties such as m...