1472 search results - page 196 / 295 » Technique Integration for Requirements Assessment |
177
click to vote
ACSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
Kernel-level rootkits affect system security by modifying key kernel data structures to achieve a variety of malicious goals. While early rootkits modified control data structur...
185
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
242
click to vote
ICAS
2008
IEEE
16 years 1 months ago
2008
IEEE
A Multi-target user interface is composed of a series of interconnected variations of the same user interfaces, but tailored for different targets or different contexts of use. Wh...
166
click to vote
CGO
2007
IEEE
16 years 1 months ago
2007
IEEE
The demand for high performance has driven acyclic computation accelerators into extensive use in modern embedded and desktop architectures. Accelerators that are ideal from a sof...
177
click to vote
GLVLSI
2007
IEEE
16 years 1 months ago
2007
IEEE
We describe an efficient, top-down strategy for overlap removal and floorplan repair which repairs overlaps in floorplans produced by placement algorithms or rough floorplanni...