11089 search results - page 1718 / 2218 » Developing software families |
209
click to vote
FM
2008
Springer
15 years 8 months ago
2008
Springer
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
232
Voted
FMCAD
2008
Springer
15 years 8 months ago
2008
Springer
We present a method for verifying information flow properties of software programs using inductive assertions and theorem proving. Given a program annotated with information flow a...
262
Voted
FPGA
2008
ACM
15 years 8 months ago
2008
ACM
Stochastic simulations and other scientific applications that depend on random numbers are increasingly implemented in a parallelized manner in programmable logic. High-quality ps...
221
Voted
FPGA
2008
ACM
15 years 8 months ago
2008
ACM
The currently accepted method of accelerating applications in FPGA soft processor systems is to design a custom hardware accelerator. This paper suggests the alternative approach ...
179
Voted
FPL
2008
Springer
15 years 8 months ago
2008
Springer
The objective of Molecular Dynamics (MD) simulations is to determine the shape of a molecule in a given biomolecular environment. These simulations are very demanding computationa...