4151 search results - page 168 / 831 » Language Driven System Design |
114
click to vote
CAV
2004
Springer
15 years 8 months ago
2004
Springer
Verifying whether an ω-regular property is satisfied by a finite-state system is a core problem in model checking. Standard techniques build an automaton with the complementary ...
124
click to vote
IWEC
2010
15 years 4 months ago
2010
In many computer games narrative is a core component with the game centering on an unfolding, interactive storyline which both motivates and is driven by the game-play. Analyzing n...
126
click to vote
FDL
2003
IEEE
15 years 8 months ago
2003
IEEE
The paper presents a methodology to integrate information on power consumption in a high level functional description of a System-on-chip. The power dissipated during the executio...
137
Voted
CLEF
2010
Springer
15 years 4 months ago
2010
Springer
This paper describes UAIC1 's Question Answering systems participating in the ResPubliQA 2010 competition, designed to answer questions on a juridical corpora in Romanian, Eng...
141
click to vote
SAMOS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract--Embedded systems contain a wide variety of processors. Economical and technological factors favor systems made of a combination of diverse but programmable processors. So...