10707 search results - page 209 / 2142 » Designing executable abstractions |
IEAAIE
1992
Springer
15 years 7 months ago
1992
Springer
Abstract.Tounderstandthemeaningofanimageorimagesequence,toreducetheeffortinthedesignprocessandincreasethereliabilityandthereusabilityofimageunderstandingsystems,awide spectrumofAI ...
111
click to vote
CSL
2002
Springer
15 years 3 months ago
2002
Springer
Ludics has been proposed by Girard as an abstract general approach to proof theory. We explain how its basic notions correspond to those of the "innocent strategy" apprao...
140
click to vote
ICSE
2009
IEEE-ACM
15 years 10 months ago
2009
IEEE-ACM
The paper presents Save-IDE, an Integrated Development Environment for the development of component-based embedded systems. Save-IDE supports efficient development of dependable ...
175
click to vote
TACAS
2001
Springer
15 years 8 months ago
2001
Springer
In previous work we have developed and prototyped a silicon compiler which translates a functional language (SAFL) into hardware. Here we present a SAFL-level program transformati...
109
click to vote
DATE
2002
IEEE
15 years 8 months ago
2002
IEEE
Future networked appliances should be able to download new services or upgrades from the network and execute them locally. This flexibility is typically achieved by processors tha...