359 search results - page 19 / 72 » Analysis of Compiled Code: A Prototype Formal Model |
135
Voted
UML
2005
Springer
15 years 8 months ago
2005
Springer
Many of today’s software applications require a high-level of security, defined by a detailed policy and attained via mechanisms such as role-based access control (RBAC), mandat...
164
Voted
PLDI
2011
ACM
14 years 5 months ago
2011
ACM
MATLAB is an array language, initially popular for rapid prototyping, but is now being increasingly used to develop production code for numerical and scientific applications. Typ...
152
Voted
ICOODB
2009
15 years 15 days ago
2009
The integration of database and programming languages is made difficult by the different data models and type systems prevalent in each field. Functional-object query languages con...
123
Voted
IWOMP
2007
Springer
15 years 9 months ago
2007
Springer
The paper presents a compiler framework for analyzing and optimizing OpenMP programs. The framework includes Parallel Control Flow Graph and Parallel Data Flow equations based on t...
129
Voted
ICSEA
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper we propose that formal modelling techniques are necessary in establishing the trustworthiness of e-voting systems and the software within. We illustrate how a distri...