2251 search results - page 188 / 451 » Specification and Implementation Problems for C |
165
click to vote
AOSD
2007
ACM
15 years 10 months ago
2007
ACM
The last couple of years, various idioms used in the 15 MLOC C code base of ASML, the world's biggest lithography machine manufacturer, have been unmasked as crosscutting con...
158
click to vote
SC
1995
ACM
15 years 10 months ago
1995
ACM
As part of a NASA HPCC Grand Challenge project, we are designing and implementing a parallel atmospheric chemical tracer model that will be suitable for use in global simulations....
166
click to vote
ICDCS
1997
IEEE
15 years 10 months ago
1997
IEEE
Conventional implementations of CORBA communication middleware incur significant overhead when used for performance-sensitive applications over high-speed networks. As gigabit ne...
175
click to vote
SBCCI
2006
ACM
16 years 15 days ago
2006
ACM
Platform-based design is a method to implement complex SoCs, avoiding chip design from scratch. A promising evolution of platform-based design are MPSoC. Such generic architecture...
173
click to vote
TABLEAUX
2005
Springer
16 years 1 days ago
2005
Springer
This paper describes the implementation of a tableau-based reasoning component which is capable of providing quasi natural language explanations for subsumptions within ALEHFR+ TBo...