1992 search results - page 290 / 399 » Memory modeling for system synthesis |
133
click to vote
LICS
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper describes an assembly-language type system capable of ensuring memory safety in the presence of both heap and stack allocation. The type system uses linear logic and a ...
157
click to vote
CC
2003
Springer
15 years 10 months ago
2003
Springer
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, suppor...
136
click to vote
LCPC
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We describe Fastpath, a system for speculative parallelization of sequential programs on conventional multicore processors. Our system distinguishes between the lead thre...
163
click to vote
ENTCS
2006
15 years 4 months ago
2006
In this paper, we address the issue of the formal verification of real-time systems in the context of a preemptive scheduling policy. We propose an algorithm which computes the st...
137
Voted
ICCMS
2009
15 years 2 months ago
2009
The simulation of chemical reacting systems is one of the most challenging topics in Systems Biology, due to their complexity and inherent randomness. The Gillespie's Stochas...