5343 search results - page 833 / 1069 » Keyword programming in java |
157
click to vote
CASCON
2000
15 years 8 months ago
2000
This paper describes a multi-perspective software visualization environment, SHriMP, which combines single view and multi-view techniques to support software exploration at both t...
182
click to vote
DYNAMO
2000
15 years 8 months ago
2000
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...
166
click to vote
WSCG
2003
15 years 8 months ago
2003
In this paper we describe a basis for a system that is able to compute actual scientific and realistic visualization methods in parallel. It is capable to integrate easily in mod...
242
click to vote
IWAR
1992
15 years 7 months ago
1992
This paper reports the study of properties of the curve pairs of the Bertrand types using our automated reasoning program based on Wu's method of mechanical theorem proving fo...
298
click to vote
AAIP
2009
15 years 7 months ago
2009
This paper describes our efforts and solutions in porting our IP system IGOR 2 from the termrewriting language MAUDE to HASKELL. We describe how, for our purpose necessary feature...