3221 search results - page 153 / 645 » Termination of Linear Programs |
200
click to vote
BIRTHDAY
2007
Springer
16 years 14 days ago
2007
Springer
Showing termination of the Battle of Hercules and Hydra is a challenge. We present the battle both as a rewrite system and as an arithmetic while program, provide proofs of their t...
162
Voted
RTCSA
2005
IEEE
15 years 12 months ago
2005
IEEE
We propose a new architecture for a content protection system that conceals confidential data and algorithms in an FPGA as electrical circuits. This architecture is designed for a...
142
click to vote
ISSRE
2007
IEEE
15 years 7 months ago
2007
IEEE
Enterprise systems must guarantee high availability and reliability to provide 24/7 services without interruptions and failures. Mechanisms for handling exceptional cases and impl...
175
click to vote
AUTOMATICA
2007
15 years 6 months ago
2007
This paper presents a new (geometrical) approach to the computation of polyhedral (robustly) positively invariant (PI) sets for general (possibly discontinuous) nonlinear discrete...
261
click to vote
POPL
2006
ACM
16 years 6 months ago
2006
ACM
This paper specifies, via a Hoare-like logic, an interprocedural and flow sensitive (but termination insensitive) information flow analysis for object-oriented programs. Pointer a...