3256 search results - page 384 / 652 » Applications of Formal Methods to System Design and Verifica... |
215
click to vote
PVM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Designing and tuning parallel applications with MPI, particularly at large scale, requires understanding the performance implications of different choices of algorithms ...
173
click to vote
SMI
2005
IEEE
16 years 5 days ago
2005
IEEE
Distance fields provide an implicit representation of shape that has advantages in many application areas; in this overview, we focus on their use in digital design. Distance fi...
188
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
We present an innovative protocol processor component that combines wire-speed processing for low-level, and best effort processing for higher-level protocols. The component is a ...
201
click to vote
AAAI
2008
15 years 9 months ago
2008
Currently, the most effective complete SAT solvers are based on the DPLL algorithm augmented by clause learning. These solvers can handle many real-world problems from application...
194
click to vote
JOT
2010
15 years 5 months ago
2010
This paper describes how to use annotation to provide semantic information. The applications include the automatic construction of a GUI so that the user input is constrained to a...