15754 search results - page 611 / 3151 » Programs are Knowledge Bases |
158
click to vote
FCCM
2005
IEEE
16 years 25 days ago
2005
IEEE
This paper presents a processor and memory-hierarchy prototype based on FPGAs that provides hardware support for program rollback. We use this prototype to demonstrate how compile...
195
click to vote
EUROPAR
2005
Springer
16 years 23 days ago
2005
Springer
This paper describes a novel approach to performance analysis for parallel and distributed systems that is based on soft computing. We introduce the concept of performance score re...
203
click to vote
RISE
2004
Springer
16 years 17 days ago
2004
Springer
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...
179
click to vote
WCRE
2002
IEEE
16 years 4 days ago
2002
IEEE
Spreadsheets are a common tool in end-user programming. But even while important decisions are based on spreadsheet computations, spreadsheets are poorly documented software and t...
175
click to vote
ICECCS
2007
IEEE
15 years 11 months ago
2007
IEEE
A current trend in the software engineering community is to integrate different tools in a friendly and powerful development environment for use by final users. This is also the c...