390 search results - page 25 / 78 » Extension Language Automation of Embedded System Debugging |
125
Voted
ASAP
2005
IEEE
15 years 7 months ago
2005
IEEE
In this paper, we propose a hardware/software partitioning method for improving applications’ performance in embedded systems. Critical software parts are accelerated on hardwar...
243
Voted
ICLP
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...
104
Voted
AAAI
2000
15 years 3 months ago
2000
We present Dialog Moves Markup Language (DMML): an extensible markup language (XML) representation of modality independent communicative acts of automated conversational agents. I...
153
Voted
SCP
2000
15 years 1 months ago
2000
Obtaining performance models, like Markov chains and queueing networks, for systems of significant complexity and magnitude is a difficult task that is usually tackled using human...
129
Voted
PVLDB
2010
15 years 17 days ago
2010
Though partially automated, developing schema mappings remains a complex and potentially error-prone task. In this paper, we present TRAMP (TRAnsformation Mapping Provenance), an ...