1799 search results - page 216 / 360 » The Logic of Correctness in Software Engineering |
193
click to vote
IUI
2005
ACM
16 years 3 days ago
2005
ACM
A principal problem in speech recognition is distinguishing between words and phrases that sound similar but have different meanings. Speech recognition programs produce a list of...
141
click to vote
IOLTS
2006
IEEE
16 years 17 days ago
2006
IEEE
The early propagation effect found in many logic gates is a potential source of data-dependent power consumption. We show that the effect and the corresponding power dependency ca...
139
click to vote
PASTE
2004
ACM
15 years 12 months ago
2004
ACM
This work discusses two non-traditional approaches for evaluating the imprecision of static analysis. The approaches are based on proofs of feasibility or infeasibility that are c...
152
click to vote
IOLTS
2003
IEEE
15 years 11 months ago
2003
IEEE
The paper describes a specific method for designing selfchecking checkers for m-out-of-n codes. The method is oriented to the Field Programmable Gate Arrays technology and is base...
173
click to vote
FOSSACS
2003
Springer
15 years 11 months ago
2003
Springer
We develop a system of type assignment with intersection types, union types, indexed types, and universal and existential dependent types that is sound in a call-by-value functiona...