4722 search results - page 399 / 945 » Encoding Program Executions |
181
click to vote
SOFSEM
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. Smart play-out is a method for executing declarative scenariobased specifications, which utilizes powerful computation methods to compute safe supersteps, thus helping t...
153
click to vote
TOOLS
2009
IEEE
16 years 1 months ago
2009
IEEE
Realizing information exchange is a frequently recurring challenge in nearly every domain of computer science. Although languages, formalisms, and storage formats may differ in va...
154
Voted
ICSM
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a general approach for automatically isolating the root causes of memory-related bugs in software. Our approach is based on the observation that most memory bugs involv...
163
click to vote
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
We present preliminary results of a project to create a tuning system that adaptively optimizes programs to the underlying execution platform. We will show initial results from tw...
180
click to vote
ISORC
2008
IEEE
16 years 1 months ago
2008
IEEE
Knowing the program timing characteristics is fundamental to the successful design and execution of real-time systems. A critical timing measure is the worst-case execution time (...