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»
14 years 28 days 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»
13 years 3 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
14 years 1 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
AAAI
2006
13 years 10 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
14 years 9 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