Sciweavers

3796 search results - page 315 / 760
» Presentations by Programmers for Programmers
Sort
View
109
Voted
ICCAD
2004
IEEE
114views Hardware» more  ICCAD 2004»
16 years 25 days ago
Simultaneous short-path and long-path timing optimization for FPGAs
This paper presents the Routing Cost Valleys (RCV) algorithm – the first published algorithm that simultaneously optimizes all short- and long-path timing constraints in a Field...
Ryan Fung, Vaughn Betz, William Chow
135
Voted
TLDI
2010
ACM
210views Formal Methods» more  TLDI 2010»
16 years 25 days ago
Effects for cooperable and serializable threads
Reasoning about the correctness of multithreaded programs is complicated by the potential for unexpected interference between threads. Previous work on controlling thread interfer...
Jaeheon Yi, Cormac Flanagan
CHI
2010
ACM
15 years 10 months ago
Self-monitoring, self-awareness, and self-determination in cardiac rehabilitation
The application of self-monitoring technologies to the problem of promoting health-related behavioural change has been an active area of research for many years. This paper report...
Julie Maitland, Matthew Chalmers
WOSP
2010
ACM
15 years 10 months ago
A page fault equation for dynamic heap sizing
For garbage-collected applications, dynamically-allocated objects are contained in a heap. Programmer productivity improves significantly if there is a garbage collector to autom...
Y. C. Tay, X. R. Zong
99
Voted
IPSN
2010
Springer
15 years 10 months ago
Programming storage-centric sensor networks with Squirrel
We present SQUIRREL, a stream-oriented programming framework for storage-centric sensor networks. The storagecentric paradigm—where storage operations prevail over communication...
Luca Mottola