15253 search results - page 2564 / 3051 » Integer-Programming Software Systems |
137
click to vote
FMCAD
2009
Springer
16 years 28 days ago
2009
Springer
stractions for Floating-Point Arithmetic Angelo Brillout Computer Systems Institute, ETH Zurich Daniel Kroening and Thomas Wahl Oxford University Computing Laboratory Abstract—Fl...
150
click to vote
FSTTCS
2009
Springer
16 years 28 days ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
170
click to vote
RAID
2009
Springer
16 years 27 days ago
2009
Springer
Intrusion prevention systems determine whether incoming traffic matches a database of signatures, where each signature in the database represents an attack or a vulnerability. IPSs...
147
click to vote
SAFECOMP
2009
Springer
16 years 27 days ago
2009
Springer
The behaviour of control functions in safety critical software systems is typically bounded to prevent the occurrence of known system level hazards. These bounds are typically deri...
154
click to vote
SAMOS
2009
Springer
16 years 27 days ago
2009
Springer
Current generation embedded applications demand the computation engine to offer high performance similar to custom hardware circuits while preserving the flexibility of software s...