3307 search results - page 476 / 662 » The meaning of concurrent programs |
182
click to vote
ECOOP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. While real-time garbage collection is now available in production virtual machines, the lack of generational capability means applications with high allocation rates are ...
214
click to vote
GPCE
2007
Springer
16 years 1 months ago
2007
Springer
Software written in one language often needs to construct sentences in another language, such as SQL queries, XML output, or shell command invocations. This is almost always done ...
196
click to vote
KBSE
2005
IEEE
16 years 20 days ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
220
click to vote
TPHOL
2005
IEEE
16 years 19 days ago
2005
IEEE
The nominal approach to abstract syntax deals with the issues of bound names and α-equivalence by considering constructions and properties that are invariant with respect to permu...
190
click to vote
EUROPAR
2005
Springer
16 years 18 days ago
2005
Springer
Most programs are repetitive, meaning that some parts of a program are executed more than once. As a result, a number of phases can be extracted in which each phase exhibits simila...