1419 search results - page 264 / 284 » Notes on Formalizing Context |
109
Voted
CAV
2007
Springer
15 years 6 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...
96
Voted
SEMWEB
2007
Springer
15 years 6 months ago
2007
Springer
A new paradigm in Semantic Web research focuses on the development of a new generation of knowledge-based problem solvers, which can exploit the massive amounts of formally speci...
105
click to vote
TSD
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Rhetorical structuring is field approached mostly by research in natural language (pragmatic) interpretation. However, in natural language generation (NLG) the rhetorica...
104
Voted
AICCSA
2006
IEEE
15 years 6 months ago
2006
IEEE
Redundancy is a system property that generally refers to duplication of state information or system function. While redundancy is usually investigated in the context of fault tole...
105
Voted
MEMOCODE
2006
IEEE
15 years 6 months ago
2006
IEEE
The theory of latency-insensitive design (LID) was recently invented to cope with the time closure problem in otherwise synchronous circuits and programs. The idea is to allow the...