12774 search results - page 2301 / 2555 » A Framework for Proof Systems |
169
click to vote
ECTEL
2008
Springer
15 years 8 months ago
2008
Springer
Chemistry students, like students in other disciplines, often learn to solve problems by applying well-practiced procedures. Such an approach, however, may hinder conceptual unders...
156
click to vote
EMSOFT
2008
Springer
15 years 8 months ago
2008
Springer
In this paper we present a design space exploration flow to achieve energy efficiency for streaming applications on MPSoCs while meeting the specified throughput constraints. The ...
154
click to vote
EMSOFT
2008
Springer
15 years 8 months ago
2008
Springer
Interface theories have been proposed to support incremental design and independent implementability. Incremental design means that the compatibility checking of interfaces can pr...
160
click to vote
ESTIMEDIA
2008
Springer
15 years 8 months ago
2008
Springer
This paper is concerned about multitasking embedded software development from the system specification to the final implementation including design space exploration(DSE). In the ...
158
Voted
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Images play a vital role in scientific studies. An image repository would become a costly and meaningless data graveyard without descriptive metadata. We adapted EPrints,...