4151 search results - page 212 / 831 » Language Driven System Design |
147
click to vote
CC
2008
Springer
15 years 5 months ago
2008
Springer
This paper describes the design and implementation of a language for specifying the semantics of an instruction set, along with a run-time system to support the static analysis of ...
120
click to vote
EACL
2009
ACL Anthology
15 years 1 months ago
2009
ACL Anthology
This paper introduces eHumanities Desktop- an online system for corpus management and analysis in support of Computing in the Humanities. Design issues and the overall architectur...
100
Voted
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
SystemC is becoming a de-facto standard for the description of complex systems-on-a-chip. It enables system-level descriptions of SoCs: the same language is used for the descripti...
135
Voted
ICALP
2000
Springer
15 years 7 months ago
2000
Springer
Graph processes are used in order to formalize the relation between global requirement specifications of multi-agent systems by means of message sequence charts, and implementatio...
144
Voted
ZUM
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. The notion of agents has provided a way of imbuing traditional computing systems with an extra degree of flexibility that allows them to be more resilient and robust in t...