1304 search results - page 120 / 261 » Model Checking C Programs Using F-SOFT |
142
click to vote
ESOP
2008
Springer
15 years 4 months ago
2008
Springer
This paper defines the cover of a formula with respect to a set of variables V in theory T to be the strongest quantifier-free formula that is implied by V : in theory T. Cover e...
150
click to vote
EMSOFT
2011
Springer
14 years 2 months ago
2011
Springer
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
153
click to vote
MICRO
2010
IEEE
15 years 1 months ago
2010
IEEE
SARC merges cache controller and network interface functions by relying on a single hardware primitive: each access checks the tag and the state of the addressed line for possible...
115
click to vote
RECONFIG
2009
IEEE
15 years 9 months ago
2009
IEEE
—We envision that future FPGA will use a hardwired network on chip (HWNoC) [14] as a unified interconnect for functional communications (data and control) as well as configurat...
137
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
High confidence in floating-point programs requires proving numerical properties of final and intermediate values. One may need to guarantee that a value stays within some range, ...