932 search results - page 79 / 187 » Verifying Progress in Timed Systems |
281
Voted
POPL
2002
ACM
16 years 4 months ago
2002
ACM
In this paper we propose a scheme that combines type inference and run-time checking to make existing C programs type safe. We describe the CCured type system, which extends that ...
146
click to vote
FSTTCS
2010
Springer
15 years 1 months ago
2010
Springer
We consider the problem of model checking message-passing systems with real-time requirements. As behavioural specifications, we use message sequence charts (MSCs) annotated with ...
131
click to vote
CODES
1999
IEEE
15 years 8 months ago
1999
IEEE
o much higher levels of abstraction than today's design practices, which are usually at the level of synthesizable RTL for custom hardware or Instruction Set Simulator (ISS) f...
120
Voted
CSCW
2010
ACM
16 years 24 days ago
2010
ACM
For many software projects, bug tracking systems play a central role in supporting collaboration between the developers and the users of the software. To better understand this co...
153
click to vote
NCA
2006
IEEE
15 years 10 months ago
2006
IEEE
Modern distributed information systems handle increasingly critical data and computation, but there is no systematic way to assess whether a given part of the system can be entrus...