Sciweavers

2651 search results - page 48 / 531
» Experiences with the Use of a Configuration Language
Sort
View
ECMDAFA
2007
Springer
156views Hardware» more  ECMDAFA 2007»
15 years 8 months ago
Human Comprehensible and Machine Processable Specifications of Operational Semantics
Abstract. This paper presents a method to describe the operational semantics of languages based on their meta-model. We combine the established high-level modelling languages MOF, ...
Markus Scheidgen, Joachim Fischer
JSAT
2010
108views more  JSAT 2010»
14 years 11 months ago
Experiment design and administration for computer clusters for SAT-solvers (EDACC)
The design of a SAT-solver or the modification of an existing one is always followed by a phase of intensive testing of the solver on a benchmark of instances. This task can be ve...
Adrian Balint, Daniel Gall, Gregor Kapler, Robert ...
ICNP
1997
IEEE
15 years 8 months ago
Dynamic host routing for production use of developmental networks
1 Many high-speed networks are in a development stage, compared to established technologies like Ethernet. Use of these networks for production service provides substantial benefit...
Joseph D. Touch, Theodore Faber
134
Voted
AAAI
2006
15 years 6 months ago
Societal Grounding Is Essential to Meaningful Language Use
Language engineers often point to tight connections between their systems' linguistic representations and accumulated sensor data as a sign that their systems really mean wha...
David DeVault, Iris Oved, Matthew Stone
ASPLOS
2009
ACM
16 years 5 months ago
Early experience with a commercial hardware transactional memory implementation
We report on our experience with the hardware transactional memory (HTM) feature of two pre-production revisions of a new commercial multicore processor. Our experience includes a...
David Dice, Yossi Lev, Mark Moir, Daniel Nussbaum