#### Filter Results:

- Full text PDF available (7)

#### Publication Year

1995

2010

- This year (0)
- Last 5 years (0)
- Last 10 years (2)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Kenneth C. Barr, Prashanth P. Bungale, +5 authors Bruno Zoppis
- Operating Systems Review
- 2010

The virtualization of mobile devices such as smartphones, tablets, netbooks, and MIDs offers significant potential in addressing the mobile manageability, security, cost, compliance, application development and deployment challenges that exist in the enterprise today. Advances in mobile processor performance, memory and storage capacities have led to the… (More)

- A. Prasad Sistla, Viktor Gyuris, E. Allen Emerson
- ACM Trans. Softw. Eng. Methodol.
- 2000

The article presents the SMC system. SMC can be used for checking safety and liveness properties of concurrent programs under different fairness assumptions. It is based on explicit state enumeration. It combats the state explosion by exploiting symmetries of the input concurrent program, usually present in the form of identical processes, in two different… (More)

- Viktor Gyuris, A. Prasad Sistla
- CAV
- 1997

An on-they algorithm for model checking under fairness is presented. The algorithm utilizes symmetry in the program to reduce the state space, and employs novel techniques that make the on-they model checking feasible. The algorithm uses state symmetry and eliminates parallel edges in the reachability graph. Experimental results demonstrating dramatic… (More)

- Ildikó Sain, Viktor Gyuris
- Logic Journal of the IGPL
- 1997

In this work, we attempt to alleviate three (more or less) equivalent negative results. These are (i) non-axiomatizability (by any finite schema) of the valid formula schemas of first order logic, (ii) non-axiomatizability (by finite schema) of any propositional logic equivalent with classical first order logic (i.e., modal logic of quantification and… (More)

- Viktor Gyuris
- Logic Journal of the IGPL
- 1995

In this paper a strong relation is demonstrated between fork algebras and quasi-projective relation algebras. With the help of the representation theorem of quasi-projective relation algebras, a short proof is given for the representation theorem of fork algebras. Fork algebras, due to their expressive power and applicability in computing science, have been… (More)

- A. Prasad Sistla, L. Miliades, Viktor Gyuris
- CAV
- 1997

- A. Prasad Sistla, Viktor Gyuris
- Formal Aspects of Computing
- 1997

The paper proposes an induction based approach, that employs automata as inductive invariants, for verifying safety and liveness properties of linear networks of arbitrary size. The proposed method has been shown to be complete for verifying safety properties. Automated methods that check for correcteness of such families of networks are proposed. These… (More)

- Larry Rudolph, Viktor Gyuris, +5 authors Lucy Wang
- 2009

This thesis presents a just-in-time binary translation scheme that dynamically switches between system emulation with a slower but more memory efficient instruction interpreter, and a faster, more memory intensive binary translator. In testing, this hybrid intepreter/translator scheme reduced the size of the binary translation cache by up to 99% with a… (More)

- ‹
- 1
- ›