626 search results - page 86 / 126 » When Can Formal Methods Make a Real Difference |
141
click to vote
ECRTS
2008
IEEE
15 years 10 months ago
2008
IEEE
Embedded services and applications that interact with the real world often, over time, need to run on different kinds of hardware (low-cost microcontrollers to powerful multicore ...
97
Voted
ASYNC
2003
IEEE
15 years 8 months ago
2003
IEEE
High-speed asynchronous ripple FIFOs may be easily embedded in synchronous environments and can elegantly handle the problem of forwarding data between clock domains. In cases whe...
167
Voted
CVPR
2012
IEEE
13 years 6 months ago
2012
IEEE
Scale invariant feature detectors often find stable scales in only a few image pixels. Consequently, methods for feature matching typically choose one of two extreme options: mat...
128
click to vote
EDBT
2010
ACM
15 years 10 months ago
2010
ACM
Data privacy laws have appeared recently, such as the HIPAA laws for protecting medical records, and the PCI guidelines for protecting Credit Card information. Data privacy can be...
105
Voted
ISNN
2004
Springer
15 years 9 months ago
2004
Springer
A reliable correlation between rainfall-runoff enables the local authority to gain more amble time for formulation of appropriate decision making, issuance of an advanced flood for...