714 search results - page 127 / 143 » Dynamic Component Program Visualization |
SBMF
2009
Springer
15 years 6 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...
CRV
2007
IEEE
15 years 6 months ago
2007
IEEE
To perform as desired in a dynamic environment a vision system must adapt to a variety of operating conditions by selecting vision modules, tuning their parameters, and controllin...
106
click to vote
ECAL
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We have developed a software system that simulates chemotaxis-based cell aggregation in 2D. The model implemented within the system consists of such cell behaviors as che...
RTCSA
2005
IEEE
15 years 5 months ago
2005
IEEE
We propose a new architecture for a content protection system that conceals confidential data and algorithms in an FPGA as electrical circuits. This architecture is designed for a...
112
click to vote
MICRO
2003
IEEE
15 years 5 months ago
2003
IEEE
With power dissipation becoming an increasingly vexing problem across many classes of computer systems, measuring power dissipation of real, running systems has become crucial for...