1301 search results - page 161 / 261 » Specifications via Realizability |
AIPR
2008
IEEE
14 years 3 days ago
2008
IEEE
In this paper, we introduce real time image processing techniques using modern programmable Graphic Processing Units (GPU). GPUs are SIMD (Single Instruction, Multiple Data) device...
CAISE
2008
Springer
14 years 2 days ago
2008
Springer
This work is done as part of the Tacos project1 whose aims is to define a component-based approach to specify trustworthy systems from the requirements phase to the specification p...
EDCC
2008
Springer
13 years 12 months ago
2008
Springer
This work addresses the problem of software fault diagnosis in complex safety critical software systems. The transient manifestations of software faults represent a challenging is...
LREC
2010
13 years 11 months ago
2010
The Live Memories corpus is an Italian corpus annotated for anaphoric relations. This annotation effort aims to contribute to two significant issues for the CL research: the lack ...
LREC
2010
13 years 11 months ago
2010
In this paper, we report on a study that was performed within the "Semantics of History" project on how descriptions of historical events are realized in different types...