4460 search results - page 774 / 892 » Formal methods for interactive systems |
124
Voted
EPIA
1999
Springer
15 years 8 months ago
1999
Springer
In this paper we propose a hybrid system that bridges the gap between traditional image processing methods, used for low-level object recognition, and abductive constraint logic pr...
147
Voted
RTCSA
1999
IEEE
15 years 8 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
128
Voted
EMSOFT
2007
Springer
15 years 7 months ago
2007
Springer
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...
209
Voted
SIGMOD
2006
ACM
16 years 3 months ago
2006
ACM
For Web applications in which the database component is the bottleneck, scalability can be provided by a third-party Database Scalability Service Provider (DSSP) that caches appli...
135
Voted
CAV
2007
Springer
15 years 9 months ago
2007
Springer
We present new techniques for fast, accurate and scalable static data race detection in concurrent programs. Focusing our analysis on Linux device drivers allowed us to identify th...