are given to the partially open problem of characterizing the classes of graphs (or hypergraphs) having decidable monadic theories, with and without

Using a decidable fragment of GTL, they can automate the verification in the PVS theorem prover.

Use and develop strategies to automate partially the veri cation which consists in the proof of ( Env Runs ) Func . In this section below we remind

scheduling problem un-decidable (above SDF) partially ordered tags scheduling, pipelining and buffering freedom

One specific analysis problem is the focus of this paper; the computation of sets of points or regions of the state space "backward reachable" from a

The Word Reconstruction Problem and The Reconstructibility Problem are presented and shown to be decidable, each with linear-time algorithms.

Yes, batteries are a problem, but even "perfect" batteries won't overcome the problem of the charging times and the current needed for a viable all-electric car or truck.

US National Highway Safety Administration Says Sudden Unintended Acceleration Problem "Not Closed"

U.S. CTO Aneesh Chopra is looking to innovative technologies to address the nation's problems

Cilk - Math - Recreation - Famous Problems - Games and Puzzles

Newly-launched Windows 7 could suffer security problems, experts say