1052 search results - page 180 / 211 » The Regular Real-Time Languages |
110
click to vote
CISIS
2008
IEEE
15 years 4 months ago
2008
IEEE
While memory-safe and type-safe languages have been available for many years, the vast majority of software is still implemented in type-unsafe languages such as C/C++. Despite ma...
102
click to vote
ECOOP
2008
Springer
15 years 3 months ago
2008
Springer
Back-in-time debuggers are extremely useful tools for identifying the causes of bugs. Unfortunately the "omniscient" approaches that try to remember all previous states a...
115
click to vote
FLOPS
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. The paper introduces a collection of knowledge representation languages, V(C), parametrised over a class C of constraints. V(C) is an extension of both CR-Prolog and CASP...
107
click to vote
DLT
2008
15 years 3 months ago
2008
We show that for several classes of idempotent semirings the least fixed-point of a polynomial system of equations X = f(X) is equal to the least fixed-point of a linear system obt...
LREC
2008
15 years 3 months ago
2008
The multilingual European Thesaurus on International Relations and Area Studies (European Thesaurus) is a special subject thesaurus for the field of international affairs. It is i...