5244 search results - page 310 / 1049 » Structural Complexity of AvgBPP |
151
click to vote
LICS
1999
IEEE
15 years 11 months ago
1999
IEEE
We give a new decision procedure for the guarded fragment with equality. The procedure is based on resolution with superposition. We argue that this method will be more useful in ...
152
click to vote
IFIP
1999
Springer
15 years 11 months ago
1999
Springer
Most control systems of flexible production cells have a hierarchical structure. They become very complicated and difficult to maintain and modify when the underlying production c...
167
click to vote
ICDCS
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper describes the design of a scripting language aimed at expressing task (unit of computation) composition and inter-task dependencies of distributed applications whose ex...
187
click to vote
LCTRTS
1999
Springer
15 years 11 months ago
1999
Springer
Real-time garbage collection is essential if object-oriented languages (in particular, Java) are to become predictable enough for real-time embedded systems. Although techniques f...
191
click to vote
RSP
1998
IEEE
15 years 11 months ago
1998
IEEE
The complexity of distributed systems is a problem when designers want to evaluate their safety and liveness. Often, they are built by integration of existing components with newl...