799 search results - page 112 / 160 » Generating Reliable Code from Hybrid-Systems Models |
SIGSOFT
2005
ACM
14 years 10 months ago
2005
ACM
There is an increasing interest in techniques that support measurement and analysis of fielded software systems. One of the main goals of these techniques is to better understand ...
CTRSA
2007
Springer
14 years 4 months ago
2007
Springer
We mathematically explore a model for the shortness and security for passwords that are stored in hashed form. The model is implicitly in the NIST publication [8] and is based on c...
ASPDAC
2009
ACM
14 years 4 months ago
2009
ACM
- With increasing availability of predefined IP (Intellectual Properties) blocks and inexpensive microprocessors, embedded system designers are faced with more design choices than ...
TPHOL
2008
IEEE
14 years 4 months ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...
IPPS
2003
IEEE
14 years 3 months ago
2003
IEEE
With the availability of large datasets in a variety of scientific and commercial domains, data mining has emerged as an important area within the last decade. Data mining techni...