2062 search results - page 381 / 413 » Derivatives of Logical Formulas |
HICSS
2009
IEEE
15 years 5 months ago
2009
IEEE
Up to now, there has been little academic support for the challenges of IT governance/IT management. As a reaction, various best practice frameworks - like COBIT or CMMI - were de...
78
Voted
DATE
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract—High computational effort in modern image processing applications like medical imaging or high-resolution video processing often demands for massively parallel special p...
78
Voted
DATE
2009
IEEE
15 years 5 months ago
2009
IEEE
Soft errors in combinational and sequential elements of digital circuits are an increasing concern as a result of technology scaling. Several techniques for gate and latch hardeni...
TIME
2009
IEEE
15 years 5 months ago
2009
IEEE
Morris, Muscettola and Vidal (MMV) presented an algorithm for checking the dynamic controllability (DC) of temporal networks in which certain temporal durations are beyond the con...
IPPS
2009
IEEE
15 years 5 months ago
2009
IEEE
We propose a novel design estimation method for adaptive streaming applications to be implemented on a partially reconfigurable FPGA. Based on experimental results we enable accu...