1317 search results - page 195 / 264 » A Technique for Constructing Developable Surfaces |
177
click to vote
PEPM
2004
ACM
15 years 11 months ago
2004
ACM
In this paper we introduce a novel scheme for portable CPU accounting and control in Java, which is based on program transformation techniques at the bytecode level and can be use...
185
click to vote
ICALT
2003
IEEE
15 years 11 months ago
2003
IEEE
The “JavaTM Intelligent Tutoring System” (JITS) research project involves the development of a programming tutor designed for students in their first programming course in Jav...
189
click to vote
AGENTS
2001
Springer
15 years 10 months ago
2001
Springer
The research community is struggling with the right approach to integrate emerging agent technology with the exploding web page-based Internet. This paper presents the approach us...
176
click to vote
ICCS
2001
Springer
15 years 10 months ago
2001
Springer
Achieving peak performance from library subroutines usually requires extensive, machine-dependent tuning by hand. Automatic tuning systems have emerged in response, and they typic...
272
click to vote
ARTS
1999
Springer
15 years 10 months ago
1999
Springer
Model checking can tell us whether a system is correct; probabilistic model checking can also tell us whether a system is timely and reliable. Moreover, probabilistic model checkin...