7943 search results - page 101 / 1589 » A calculus for costed computations |
MAGS
2008
14 years 10 months ago
2008
Process calculi are mathematical tools used for modeling and analyzing the structure and behavior of reactive systems. One such calculus, called APi-calculus (an extension to Pi-ca...
TCS
2008
14 years 10 months ago
2008
We introduce a new unification procedure for the type inference problem in the intersection type discipline. It is well known that type inference in this case should succeed exact...
ACE
2004
14 years 11 months ago
2004
The 2002 SIGCOMM Workshop on Educational Challenges for Computer Networking [Kur02a] exposed many issues related to teaching computer networking with the need for a laboratory in ...
HAPTICS
2003
IEEE
15 years 3 months ago
2003
IEEE
Haptic rendering complex objects in virtual environments is computationally intensive. In this paper we start the investigation of a new category of approach to reducing the compu...
RTCSA
2005
IEEE
15 years 4 months ago
2005
IEEE
