Sciweavers

1158 search results - page 6 / 232
» Software is discrete mathematics
Sort
View
CSEE
2000
Springer
15 years 2 months ago
Technology Transfer Issues for Formal Methods of Software Specification
Accurate and complete requirements specifications are crucial for the design and implementation of high-quality software. Unfortunately, the articulation and verification of softw...
Ken Abernethy, John C. Kelly, Ann E. Kelley Sobel,...
COMPGEOM
2008
ACM
14 years 11 months ago
Visualizing and exploring planar algebraic arrangements: a web application
A web application is presented to compute, plot, and interactively explore planar arrangements induced by algebraic plane curves of arbitrary degree. It produces accurate curve pl...
Pavel Emeliyanenko, Michael Kerber
VMCAI
2005
Springer
15 years 3 months ago
Scalable Analysis of Linear Systems Using Mathematical Programming
Sriram Sankaranarayanan, Henny B. Sipma, Zohar Man...
SIGCSE
2008
ACM
295views Education» more  SIGCSE 2008»
14 years 9 months ago
A specimen MPI application: N-Queens in parallel
: The generalized problem of placing n queens on an n-by-n board provides an "embarrassingly parallel" problem for parallel solution. This paper expands on the discussion...
Timothy J. Rolfe