6960 search results - page 184 / 1392 » Continuity Analysis of Programs |
102
Voted
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
In large-scale distributed systems, asynchronous communication and future objects are becoming wide spread mechanisms to tolerate high latencies and to improve global performances...
149
Voted
HYBRID
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Biological systems involving genetic reactions are large discrete event systems, and often contain certain species that occur in small quantities, and others that occur i...
139
Voted
HYBRID
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. In this paper we present an approach to approximate reachability computation for nonlinear continuous systems. Rather than studying a complex nonlinear system ˙x = g(x),...
132
click to vote
ISPAN
2002
IEEE
15 years 8 months ago
2002
IEEE
Many applications written in C allocate memory blocks for their major data structures from the heap space at runtime. The analysis of heap-oriented pointers in such programs is cr...
130
Voted
ISCA
2003
IEEE
15 years 8 months ago
2003
IEEE
Debuggers have been proven indispensable in improving software reliability. Unfortunately, on most real-life software, debuggers fail to deliver their most essential feature — a...