498 search results - page 61 / 100 » New Constructions for IPP Codes |
109
Voted
CC
2000
Springer
15 years 6 months ago
2000
Springer
Mode-Automata have been proposed in [11]. They introduce, in the domain-specific data-flow language Lustre for reactive systems, a new construct devoted to the expression of runn...
122
click to vote
ICPP
1998
IEEE
15 years 6 months ago
1998
IEEE
Most current compiler analysis techniques are unable to cope with the semantics introduced by explicit parallel and synchronization constructs in parallel programs. In this paper ...
102
click to vote
CSFW
2004
IEEE
15 years 5 months ago
2004
IEEE
We present a new static analysis for reviewing the security of libraries for systems, such as JVMs or the CLR, that rely on stack inspection for access control. We describe its im...
109
click to vote
ICFP
2010
ACM
15 years 3 months ago
2010
ACM
Existing macro systems force programmers to make a choice between clarity of specification and robustness. If they choose clarity, they must forgo validating significant parts of ...
141
click to vote
AADEBUG
2005
Springer
15 years 7 months ago
2005
Springer
Debugging techniques have evolved over the years in response to changes in programming languages, implementation techniques, and user needs. A new type of implementation vehicle f...