5235 search results - page 810 / 1047 » Analysis of Multithreaded Programs |
194
click to vote
IWIA
2005
IEEE
16 years 4 days ago
2005
IEEE
A system for enforcing messaging security policies for both store and forward and streaming messaging protocols on COTS operating system platforms is described. Messaging protocol...
155
click to vote
LICS
2005
IEEE
16 years 4 days ago
2005
IEEE
Run-time type analysis allows programmers to easily and concisely define operations based upon type structure, such as serialization, iterators, and structural equality. However,...
160
click to vote
QSIC
2005
IEEE
16 years 4 days ago
2005
IEEE
Many programs need to access data in a relational database. This is usually done by means of queries written in SQL. Although the language SQL is declarative, certain runtime erro...
162
click to vote
VISSOFT
2005
IEEE
16 years 4 days ago
2005
IEEE
Dominance analysis from graph theory allows one to locate subordinated software elements in a rooted dependency graph. It identifies the nesting structure for a dependency graph ...
140
click to vote
APN
2005
Springer
16 years 3 days ago
2005
Springer
stract Interpretation Robert Claris´o, Enric Rodr´ıguez-Carbonell, and Jordi Cortadella Universitat Polit`ecnica de Catalunya, Barcelona, Spain Abstract interpretation is a para...