Sciweavers

1158 search results - page 6 / 232
» Software is discrete mathematics
Sort
View
CSEE
2000
Springer
13 years 12 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
13 years 9 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
14 years 1 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»
13 years 7 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