1855 search results - page 64 / 371 » Composing model programs for analysis |
114
Voted
DAC
2008
ACM
16 years 3 months ago
2008
ACM
Multimedia-dominated consumer electronics devices (such as cellular phone, digital camera, etc.) operate under soft real-time constraints. Overly pessimistic worst-case execution ...
129
Voted
IPPS
1996
IEEE
15 years 6 months ago
1996
IEEE
This paper introduces an analysis technique, commutativity analysis, for automatically parallelizing computations that manipulate dynamic, pointer-based data structures. Commutati...
146
Voted
WCET
2010
15 years 13 days 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...
116
Voted
WWW
2006
ACM
16 years 3 months ago
2006
ACM
The high availability of video streams is making necessary mechanisms for indexing such contents in the Web world. In this paper we focus on news programs and we propose a mechani...
133
click to vote
ICSE
2007
IEEE-ACM
16 years 2 months ago
2007
IEEE-ACM
The study of methodologies and techniques to produce correct software has been active for four decades. During this period, researchers have developed and investigated a wide vari...