2643 search results - page 384 / 529 » Higher order messaging |
113
Voted
ISCAS
2007
IEEE
15 years 11 months ago
2007
IEEE
—A novel feed-forward pulse width modulation (FF-PWM) technique is proposed for improving line regulation of buck or boost (BOB) converters. In order to provide a regulated suppl...
135
click to vote
ISPASS
2007
IEEE
15 years 11 months ago
2007
IEEE
For simulation, a tradeoff exists between speed and accuracy. The more instructions simulated from the workload, the more accurate the results — but at a higher cost. To reduce ...
124
click to vote
KBSE
2007
IEEE
15 years 11 months ago
2007
IEEE
A number of researchers have proposed the use of Boolean satisfiability solvers for verifying C programs. They encode correctness checks as Boolean formulas using finitization: ...
131
Voted
KBSE
2007
IEEE
15 years 11 months ago
2007
IEEE
Concurrent programs are difficult to debug and verify because of the nondeterministic nature of concurrent executions. A particular concurrency-related bug may only show up under ...
141
click to vote
MMM
2007
Springer
15 years 11 months ago
2007
Springer
This paper presents a fragile watermarking technique to tamper proof (Mocap) motion capture data. The technique visualizes 3D Mocap data as a series of cluster of points. Watermark...