11653 search results - page 195 / 2331 » The Development of the C Language |
154
Voted
CSCWD
2009
Springer
15 years 1 months ago
2009
Springer
With the trend of globalization, enterprises require to extend their logistics scope from domestic to international, integrate logistics networks, and improve the agility and effi...
109
click to vote
LICS
2002
IEEE
15 years 8 months ago
2002
IEEE
In joint work with Peter O’Hearn and others, based on early ideas of Burstall, we have developed an extension of Hoare logic that permits reasoning about low-level imperative pr...
108
Voted
DAGSTUHL
2006
15 years 5 months ago
2006
This paper applies a mix of aspect-oriented programming (AOP) and logic meta-programming (LMP) to tackle some concerns of/in legacy environments. We present four different problem...
151
Voted
ACL
2012
13 years 6 months ago
2012
“Lightweight” semantic annotation of text calls for a simple representation, ideally without requiring a semantic lexicon to achieve good coverage in the language and domain. ...
116
Voted
PDP
2009
IEEE
15 years 10 months ago
2009
IEEE
PUB (Paderborn University BSPLib) is a C library supporting the development of Bulk-Synchronous Parallel (BSP) algorithms. The BSP model allows an estimation of the execution time...