Sciweavers

2251 search results - page 188 / 451
» Specification and Implementation Problems for C
Sort
View
AOSD
2007
ACM
15 years 8 months ago
An aspect for idiom-based exception handling: (using local continuation join points, join point properties, annotations and type
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...
Bram Adams, Kris De Schutter
SC
1995
ACM
15 years 7 months ago
Performance of a Parallel Global Atmospheric Chemical Tracer Model
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....
James Demmel, Sharon Smith
129
Voted
ICDCS
1997
IEEE
15 years 8 months ago
Evaluating CORBA Latency and Scalability Over High-Speed ATM Networks
Conventional implementations of CORBA communication middleware incur significant overhead when used for performance-sensitive applications over high-speed networks. As gigabit ne...
Douglas C. Schmidt, Aniruddha S. Gokhale
SBCCI
2006
ACM
139views VLSI» more  SBCCI 2006»
15 years 10 months ago
Infrastructure for dynamic reconfigurable systems: choices and trade-offs
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...
Leandro Möller, Rafael Soares, Ewerson Carval...
TABLEAUX
2005
Springer
15 years 9 months ago
A Tableau-Based Explainer for DL Subsumption
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...
Thorsten Liebig, Michael Halfmann