Sciweavers

441 search results - page 29 / 89
» A simple boiling module
Sort
View
IGPL
2007
75views more  IGPL 2007»
14 years 9 months ago
Logic for Mathematical Writing
In the School of Mathematical Sciences at Queen Mary in the University of London we have been running a module that teaches the students to write good mathematical English. The mo...
Edmund Harriss, Wilfrid Hodges
PE
2010
Springer
119views Optimization» more  PE 2010»
14 years 8 months ago
A discrete-time Markov-modulated queuing system with batched arrivals
This paper examines a discrete-time queuing system with applications to telecommunications traffic. The arrival process is a particular Markov modulated process which belongs to t...
Richard G. Clegg
POPL
2012
ACM
13 years 5 months ago
Towards a program logic for JavaScript
JavaScript has become the most widely used language for clientside web programming. The dynamic nature of JavaScript makes understanding its code notoriously difficult, leading t...
Philippa Gardner, Sergio Maffeis, Gareth David Smi...
SIGMOD
2012
ACM
234views Database» more  SIGMOD 2012»
13 years 10 days ago
SOFIA SEARCH: a tool for automating related-work search
When working on a new project, researchers need to devote a significant amount of time and effort to surveying the relevant literature. This is required in order to gain experti...
Behzad Golshan, Theodoros Lappas, Evimaria Terzi
DATE
2009
IEEE
86views Hardware» more  DATE 2009»
15 years 4 months ago
A formal approach to design space exploration of protocol converters
In the field of chip design, hardware module reuse is a standard solution to the increasing complexity of chip architecture and the pressures to reduce time to market. In the abs...
Karin Avnit, Arcot Sowmya