1107 search results - page 128 / 222 » XAIRA : software for language analysis |
130
click to vote
POPL
2009
ACM
15 years 10 months ago
2009
ACM
Haskell has a rich set of synchronization primitives for implemented-state concurrency abstractions, ranging from the very high level (Software Transactional Memory) to the very l...
126
Voted
CLEF
2005
Springer
15 years 9 months ago
2005
Springer
This paper reports on our participation in CLEF 2005‘s ad-hoc multi-lingual retrieval track. The ad-hoc task introduced Bulgarian and Hungarian as new languages. Our experiments...
134
click to vote
CC
2004
Springer
15 years 9 months ago
2004
Springer
This paper concerns static-analysis algorithms for analyzing x86 executables. The aim of the work is to recover intermediate representations that are similar to those that can be c...
150
click to vote
ER
2003
Springer
15 years 9 months ago
2003
Springer
Agent-oriented modeling of software and information systems and agent-based simulation are commonly viewed as two separate fields with different concepts and techniques. We argue t...
132
Voted
ICFEM
2003
Springer
15 years 9 months ago
2003
Springer
An existing distributed lift system was analyzed using the process algebraic language µCRL [7]. Four problems were found, three of which were also found independently by the devel...