1379 search results - page 250 / 276 » Dynamic Program Slicing in Understanding of Program Executio... |
111
click to vote
SBMF
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. This paper presents a case study on retrospective veri cation of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
100
click to vote
AFP
2008
Springer
15 years 8 months ago
2008
Springer
Workflow systems are automated systems in which tasks are coordinated by assigning them to either humans or computers. Contemporary workflow systems are static and not very flex...
120
click to vote
ICMCS
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper investigates a novel concept of providing seamless control and portability of an IPTV viewing session. A solution employing a middleware system, a secure hardware token...
ISCA
2007
IEEE
15 years 8 months ago
2007
IEEE
While Sequential Consistency (SC) is the most intuitive memory consistency model and the one most programmers likely assume, current multiprocessors do not support it. Instead, th...
112
click to vote
IEEEPACT
2006
IEEE
15 years 8 months ago
2006
IEEE
In SMT processors, the complex interplay between private and shared datapath resources needs to be considered in order to realize the full performance potential. In this paper, we...