4940 search results - page 315 / 988 » On the Complexity of Universal Programs |
162
click to vote
LICS
2007
IEEE
16 years 28 days ago
2007
IEEE
tion and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of London Hongseok Yang Queen Mary, University of London S...
148
click to vote
MSE
2005
IEEE
16 years 7 days ago
2005
IEEE
Almost all universities offer introductory courses that focus on microcontroller-based systems and embedded programming. Advanced course offerings vary, and are often not availabl...
153
click to vote
CONCUR
2005
Springer
16 years 6 days ago
2005
Springer
d Abstract) Adrian Francalanza and Matthew Hennessy University of Sussex, Falmer Brighton BN1 9RH, England Abstract. We develop a behavioural theory of distributed programs in the ...
160
click to vote
CPAIOR
2004
Springer
16 years 1 days ago
2004
Springer
ng Abstractions for Local Search Pascal Van Hentenryck1 and Laurent Michel2 1 Brown University, Box 1910, Providence, RI 02912 2 University of Connecticut, Storrs, CT 06269-3155 Ab...
168
click to vote
DISCEX
2003
IEEE
15 years 12 months ago
2003
IEEE
Under sponsorship of the Defense Advanced Research Projects Agency’s (DARPA) Fault Tolerant Networks (FTN) program, The Johns Hopkins University Applied Physics Laboratory (JHU/...