5387 search results - page 86 / 1078 » Generating generic functions |
95
Voted
IAT
2008
IEEE
15 years 7 months ago
2008
IEEE
Many Knowledge workers are increasingly using online resources to find out latest developments in their specialty and articles of interest. To extract relevant information from s...
121
click to vote
AADEBUG
1993
Springer
15 years 4 months ago
1993
Springer
Animation of execution is a necessary feature of source-level debuggers. We present a framework where animators are generated from existing algebraic speci cations of interpreters....
117
Voted
EPIA
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In this paper we discuss the use of Case Retrieval Nets, a particular memory model for implementing case-base reasoning solutions, for implementing a heuristic lexicalisa...
98
Voted
DATE
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper presents a new technology that accelerates system verification. In a real life example, we achieved a speed-up of a factor of about 5000. The key for this speed-up is a...
90
Voted
IPPS
2008
IEEE
15 years 7 months ago
2008
IEEE
We introduce a generic framework for the distributed execution of combinatorial optimization tasks. Instead of relying on custom hardware (like dedicated parallel machines or clus...