1472 search results - page 196 / 295 » Technique Integration for Requirements Assessment |
158
click to vote
ACSAC
2008
IEEE
16 years 27 days 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...
169
click to vote
CDC
2008
IEEE
16 years 27 days 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...
233
click to vote
ICAS
2008
IEEE
16 years 26 days 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...
152
click to vote
CGO
2007
IEEE
16 years 23 days 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...
162
click to vote
GLVLSI
2007
IEEE
16 years 22 days 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...