1539 search results - page 156 / 308 » Is it time for real-time functional programming |
138
click to vote
ASAP
2010
IEEE
15 years 5 months ago
2010
IEEE
Recent research has proposed security-critical real-time embedded systems with provably-strong information containment through the use of hardware-enforced execution leases. Execut...
138
click to vote
ICCAD
1996
IEEE
15 years 8 months ago
1996
IEEE
Functional simulation is the most widely used method for design verification. At various levels of abstraction, e.g., behavioral, register-transfer level and gate level, the design...
116
click to vote
CCIA
2005
Springer
15 years 9 months ago
2005
Springer
One of the main keys in case-based reasoning system is the retrieval phase, where the most similar cases are retrieved by means of a similarity function. According to the problem, ...
154
click to vote
DAS
2010
Springer
15 years 7 months ago
2010
Springer
Matching word images has many applications in document recognition and retrieval systems. Dynamic Time Warping (DTW) is popularly used to estimate the similarity between word imag...
132
click to vote
DAGSTUHL
2004
15 years 5 months ago
2004
Although computer systems penetrate all facets of society, the software running those systems may contain many errors. Producing high quality software appears to be difficult and v...