1463 search results - page 224 / 293 » Model Checking Implicit-Invocation Systems |
125
click to vote
KR
2004
Springer
15 years 6 months ago
2004
Springer
There are numerous applications such as air traffic management, cellular phone location tracking, and vehicle protection systems where there is a critical need to reason about mo...
LCPC
1999
Springer
15 years 5 months ago
1999
Springer
One of the challenges present to a Java compiler is Java’s frequent use of runtime exceptions. These exceptions affect performance directly by requiring explicit checks, as wel...
148
click to vote
APLAS
2007
ACM
2007
ACM
The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the Working Programmer
15 years 5 months ago
We rationally reconstruct the core of the Coccinelle system, used for automating and documenting collateral evolutions in Linux device drivers. A denotational semantics of the syst...
139
click to vote
DDECS
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract-- Hard real-time systems need methods to determine upper bounds for their execution times, usually called worst-case execution times. Timing anomalies are counterintuitive...
133
click to vote
SEKE
1995
Springer
15 years 4 months ago
1995
Springer
The development of a large information system is generally regarded as one of the most complex activities undertaken by organizations and it is dependent on the communication and u...