Sciweavers

6274 search results - page 933 / 1255
» Proofs, Programs, Processes
Sort
View
108
Voted
WSC
2004
15 years 4 months ago
Integration of the FreeBSD TCP/IP-Stack into the Discrete Event Simulator OMNet++
The discrete event simulator OMNeT++, that is programmed in C++, shows a steady growing popularity. Due to its wellstructured nature, it is easy to understand and easy to use. A s...
Roland Bless, Mark Doll
KDID
2003
119views Database» more  KDID 2003»
15 years 4 months ago
Generalized Version Space Trees
We introduce generalized version space trees, a novel data structure that serves as a condensed representation in inductive databases for graph mining. Generalized version space tr...
Ulrich Rückert, Stefan Kramer
WSCG
2004
161views more  WSCG 2004»
15 years 4 months ago
Data Visualization Using Hardware Accelerated Spline Interpolation
We present our method of real-time rendering of grid-structured data. The method uses bicubic spline interpolation running on common current graphics hardware to map the values to...
Petr Kadlec, Marek Gayer, Pavel Slavík
DYNAMO
2000
110views more  DYNAMO 2000»
15 years 4 months ago
Machine-adaptable dynamic binary translation
Dynamic binary translation is the process of translating and optimizing executable code for one machine to another at runtime, while the program is "executing" on the ta...
David Ung, Cristina Cifuentes
FLAIRS
1998
15 years 4 months ago
Optimizing Production Manufacturing Using Reinforcement Learning
Manyindustrial processes involve makingparts with an assemblyof machines, where each machinecarries out an operation on a part, and the finished product requires a wholeseries of ...
Sridhar Mahadevan, Georgios Theocharous