1573 search results - page 74 / 315 » Picture Programming Project |
FMCAD
2006
Springer
15 years 3 months ago
2006
Springer
Abstract-- This paper describes a symbolic algorithm for overapproximating reachability in Boolean programs with unbounded thread creation. The fix-point is detected by projecting ...
SOCRATES
2008
15 years 1 months ago
2008
Quality is an open concept. Something has a good quality when the most salient of its characteristics have a positive value. What are this relevant features? It depends on the int...
INTERACT
2003
15 years 1 months ago
2003
: In this paper we discuss issues for the integration of computing power in mundane artefacts. We do so with reference to a recent project with a manufacturer of ovens for larger k...
SIGUCCS
2000
ACM
15 years 4 months ago
2000
ACM
Wabash College has initiated an innovative strategy to solve technology staffing problems experienced by many small undergraduate liberal arts colleges. This strategy targets stud...
100
click to vote
WSC
2000
15 years 1 months ago
2000
As part of the design of the next generation Naval Amphibious Transport Dock Ship (LPD17), simulation was used to evaluate the arrangement and flow of cargo on the ship and to int...