619 search results - page 49 / 124 » The Design and Implementation of a Certifying Compiler |
CASES
2006
ACM
15 years 5 months ago
2006
ACM
Computer architects are constantly faced with the need to improve performance and increase the efficiency of computation in their designs. To this end, it is increasingly common ...
100
click to vote
FASE
2009
Springer
15 years 3 months ago
2009
Springer
This paper describes the certification of smart-card applications in the framework of Common Criteria. In this framework, a smart-card application is represented by a model of its...
108
click to vote
AAI
2002
14 years 11 months ago
2002
In this paper, we discuss scripting tools that aim at facilitating the design of web-based interactions with animated characters capable of affective communication. Specifically, ...
DATE
1999
IEEE
15 years 4 months ago
1999
IEEE
There is an increasing research interest in system level design languages which can carry designers from specification to implementation of system-on-a-chip. Unfortunately, two of...
106
click to vote
TVCG
2010
14 years 10 months ago
2010
Abstract—We investigate the design of declarative, domain-specific languages for constructing interactive visualizations. By separating specification from execution, declarativ...