133 search results - page 26 / 27 » Inference of Session Types From Control Flow |
CDC
2008
IEEE
2008
IEEE
An ensemble Kalman filtering approach to highway traffic estimation using GPS enabled mobile devices
13 years 6 months ago
Traffic state estimation is a challenging problem for the transportation community due to the limited deployment of sensing infrastructure. However, recent trends in the mobile pho...
WSC
1994
13 years 8 months ago
1994
Stroboscope is a programming language designed for the simulation of processes common to construction engineering. These processes are very complex and involve many different type...
IMC
2009
ACM
14 years 1 months ago
2009
ACM
Internet exchange points (IXPs) are an important ingredient of the Internet AS-level ecosystem—a logical fabric of the Internet made up of about 30,000 ASes and their mutual bus...
NCA
2007
IEEE
14 years 27 days ago
2007
IEEE
The advancement of optical networking technologies has enabled e-science applications that often require transport of large volumes of scientific data. In support of such data-in...
PLILP
1997
Springer
13 years 10 months ago
1997
Springer
Abstract. Teaching introductory computing courses with Scheme elevates the intellectual level of the course and thus makes the subject more appealing to students with scienti c int...